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



On 11/02/17 02:47, Ian Hayes wrote:
> 
> In summary the problem seems to require a Magic Mouse and Sierra on a Mac.

Can you try this arbitrary development snapshot of Isabelle?
http://isabelle.in.tum.de/devel

The difference is that the Jan-2017 update of Java 8 is used here, and
Oracle had at least one change specifically for Sierra.


	Makarius





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