Email Gateway (Dec 08 2025 at 21:05): Email Gateway (Dec 08 2025 at 21:05):From: Makarius <makarius@sketis.net>
Dear Isabelle users,
there is a lot of excitement and publicity around VSCode, and I have spent a
lot of time on Isabelle/VSCode recently. So this is more a question than a
statement: What is the state of Isabelle/VSCode in Isabelle2025-1?
There has been no feedback so far. This is an opportunity.
(My own excitement about VSCode was very positive in the early years, but has
dropped below zero now: the technology behind it is very poor, causing tons of
problems that are not strictly necessary.)
Makarius
Email Gateway (Dec 09 2025 at 10:04):From: Kevin Kappelmann <cl-isabelle-users@lists.cam.ac.uk>
No issues from my side regarding the current state. Usability and
stability improved a lot since the Isabelle2025 release, thanks!
Here are 2 things that would further improve my experience:
Something like the theories panel from jEdit (so that I can see build
progress & failures)
General active markup support. E.g. when I hit the tracing limit
message ("Tracing paused. Stop, or continue with next 100, 1000, 10000
messages?"), I cannot click it to see more messages.
Best wishes,
Kevin
On 08.12.25 22:05, Makarius wrote:
Dear Isabelle users,
there is a lot of excitement and publicity around VSCode, and I have
spent a lot of time on Isabelle/VSCode recently. So this is more a
question than a statement: What is the state of Isabelle/VSCode in
Isabelle2025-1?There has been no feedback so far. This is an opportunity.
(My own excitement about VSCode was very positive in the early years,
but has dropped below zero now: the technology behind it is very poor,
causing tons of problems that are not strictly necessary.)Makarius
Last updated: Dec 21 2025 at 20:24 UTC