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: Apr 26 2025 at 12:36 UTC