Re: [isabelle] Isabelle/Jedit not recognising theories in menu
None of those options change the symptoms.
On 12/2/17 4:25 am, Makarius Wenzel wrote:
On 11.02.2017 18:55, Ian Hayes wrote:
I get the same issue with the development version.
Another idea: go to "Utilities / Global Options / Appearance / Swing
look & feel" and change to "Metal" or "Nimbus", instead of the
quasi-native Apple look-and-feel that is used by default.
Restart the Isabelle application to ensure that the change is fully in
This archive was generated by a fusion of
Pipermail (Mailman edition) and