Stream: General

Topic: Right side window in Isabelle/jEdit

view this post on Zulip Gergely Buday (Jan 24 2024 at 12:40):

A colleague has somehow only HyperSearch Results on the right side of Isabelle/jEdit.

How can he bring back Theories?

view this post on Zulip Mathias Fleury (Jan 24 2024 at 12:42):

Plugin > Isabelle > Theories panel
Then on the small arrow and Dock at Right

Last updated: Dec 30 2024 at 16:22 UTC