[isabelle-dev] NEWS: Isabelle/VSCode

Makarius Wenzel makarius at sketis.net
Sat Jul 1 21:21:01 CEST 2017

On 01.07.17 20:46, Christian Sternagel wrote:
> It only took me some time to find the OUTPUT "panel" (View ~> Output) ;)

That is a plain-text channel of VSCode.

There is also a "State" panel that imitates the dockable of the same 
name in Isabelle/jEdit. You will get to that via the "isabelle.state" 
command, e.g. use the SHIFT-CONTROL-P command palette and search for 
"Isabelle" commands. It has the description "Show State".

Wiring up that GUI panel required a whole lot of tricks, but it should 
be now trivial to make more panels. Although, this poses the problem of 
multi-window management.


More information about the isabelle-dev mailing list