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) ;) cheers chris 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-...@in.tum.de > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev > _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev