Re: [isabelle] Isabelle/Jedit not recognising theories in menu
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