Re: [isabelle] Isabelle/Jedit not recognising theories in menu



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 effect.


	Makarius





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.