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



Hi Makarius,

Thanks but I get the same issue with the development version.

Ian

On 11/2/17 10:18 pm, Makarius wrote:
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.