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 <>
I have addressed this in 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:

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":


isabelle-dev mailing list

Last updated: Mar 04 2024 at 12:30 UTC