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