Re: [isabelle] Isabelle/Jedit not recognising theories in menu
To clarify, Isabelle2-16-1 was working fine and now has decided not to.
On 9/2/17 9:11 pm, Andrew Butterfield wrote:
Hi Ian, isabelle-users,
FWIW: it's working for me with 2016-1 on Sierra (10.12.3) just fine - I can jump to a theory with a double-click
This is on an 2014 iMac
I installed 2016-1 about a week ago.
On 9 Feb 2017, at 05:09, Ian Hayes <Ian.Hayes at itee.uq.edu.au> wrote:
After I start up Isabelle and load some theories
I can no longer switch between theories by clicking
on the theory name in the theory menu.
I'm using Isabelle2016-1 on a Mac (Sierra).
I've tried reinstalling Isabelle2016-1 and
removing .isabelle/Isabelle2016-1 from my home.
The problem also seems to have ported itself
to Isabelle2016 somehow?
Are there some separate magic files for jedit that have
Thanks in advance
School of Computer Science & Statistics
Dublin 2, Ireland
This archive was generated by a fusion of
Pipermail (Mailman edition) and