Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] Isabelle/VSCode bootstrap issue: "SML lexi...

view this post on Zulip Email Gateway (Oct 17 2022 at 14:38):

From: Makarius <makarius@sketis.net>
I have addressed this in
https://isabelle.sketis.net/repos/isabelle-release/rev/072e6c0a2373 for
Isabelle2022-RC4 (expected within 1-2 days).

Playing a bit with Isabelle/VSCode, I see many things that do work and a some
that don't. More TODO items are here:
https://makarius.sketis.net/repos/isabelle_vscode_development/file/tip/TODO.md

So Isabelle/VScode is still an early experiment compared to the finished and
polished state of Isabelle/jEdit.

As a funny side-remark, someone who appears to be notable in the Java
community has recently advertized jEdit as "vintage, but still great" and
"similar to Visual Studio Code": https://www.youtube.com/watch?v=VJfdKhXoaWc

Makarius

isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev

Last updated: Dec 21 2024 at 16:20 UTC