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

Hi Makarius,

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


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?

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.