[isabelle-dev] NEWS: Isabelle/VSCode
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