A colleague has somehow only HyperSearch Results on the right side of Isabelle/jEdit.
How can he bring back Theories?
Plugin > Isabelle > Theories panel Then on the small arrow and Dock at Right
Last updated: May 08 2024 at 20:15 UTC