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?

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


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