[isabelle-dev] NEWS: Isabelle/VSCode

Christian Sternagel c.sternagel at gmail.com
Sun Jul 2 13:31:19 CEST 2017

On 07/01/2017 09:21 PM, Makarius Wenzel wrote:
> 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.

Oh, okay.

> 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".

Nothing happens when I select (by clicking) "Isabelle: Show State" after
SHIFT-CONTROL-P and searching for "Isabelle".


> 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.
>     Makarius

More information about the isabelle-dev mailing list