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: https://bugs.openjdk.java.net/browse/JDK-8168022


	Makarius




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