[isabelle-dev] NEWS: Isabelle/VSCode

Makarius makarius at sketis.net
Sun Jul 2 14:21:07 CEST 2017

On 02/07/17 13:31, Christian Sternagel wrote:
> On 07/01/2017 09:21 PM, Makarius Wenzel wrote:
>> 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".

You need to have an active theory file (with running prover process).

It should work analogously to the "Preview" button, but without having a


More information about the isabelle-dev mailing list