[isabelle-dev] NEWS: Isabelle/VSCode

Christian Sternagel c.sternagel at gmail.com
Sat Jul 1 20:46:57 CEST 2017

Dear Makarius,

I've already occasionally peeked into your Isabelle/VSCode commits before.

For me Isabelle/VSCode it works out of the box (after installing VSCode
via the package system of my operating system).

It only took me some time to find the OUTPUT "panel" (View ~> Output) ;)



On 07/01/2017 07:36 PM, Makarius wrote:
> *** General ***
> * Experimental support for Visual Studio Code (VSCode) as alternative
> Isabelle/PIDE front-end, see also
> https://marketplace.visualstudio.com/items?itemName=makarius.isabelle
> VSCode is a new type of application that continues the concepts of
> "programmer's editor" and "integrated development environment" towards
> fully semantic editing and debugging -- in a relatively light-weight
> manner. Thus it fits nicely on top of the Isabelle/PIDE infrastructure.
> Technically, VSCode is based on the Electron application framework
> (Node.js + Chromium browser + V8), which is implemented in JavaScript
> and TypeScript, while Isabelle/VSCode mainly consists of Isabelle/Scala
> modules around a Language Server implementation.
> This refers to Isabelle/8f39d60b943d. The marketplace link above also
> shows a screenshot.
> I am interested to hear if anybody manages to run the application:
> presently it lacks the all-inclusive application bundling of Isabelle/jEdit.
> 	Makarius
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

More information about the isabelle-dev mailing list