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

On 11.02.2017 20:22, Ian Hayes wrote:

None of those options change the symptoms.

I guess we need to wait for another Java update, maybe even for Java 9. See this tracker item:


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