Max W. Haslbeck (Aug 14 2020 at 06:34): Max W. Haslbeck (Aug 14 2020 at 06:34):Has anybody tried using Isabelle in Visual Studio Code together with Visual Studio Code Remote Development?
No more tormenting my poor laptop with sledgehammer commands :grinning:
Manuel Eberl (Aug 14 2020 at 06:46):No, but I wonder what the current status of remote Isabelle is. It's been in the works for a while and Makarius laid the foundations for it years ago.
Manuel Eberl (Aug 14 2020 at 06:47):Also, maybe your laptop would struggle less if you didn't all insist on buying Apple hardware with crappy performance. :P
Kevin Kappelmann (Aug 14 2020 at 09:50):The unicode business in VSCode is still holding me back from using it
Lukas Stevens (Aug 14 2020 at 10:00):Clickable state panel in VS/Code is also not there
Mathias Fleury (Aug 16 2020 at 12:08):Max W. Haslbeck said:
Has anybody tried using Isabelle in Visual Studio Code together with Visual Studio Code Remote Development?
No more tormenting my poor laptop with sledgehammer commands :grinning:
I use emacs for that (X-forwarding or SSH). But I have not started Isabelle/VSCode in a while to compare: does it finally have a theory panel?
Last updated: Apr 19 2024 at 12:27 UTC