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