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

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.

Regards, Andrew

> On 9 Feb 2017, at 05:09, Ian Hayes <Ian.Hayes at> wrote:
> Hi,
> 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
> become corrupted?
> Thanks in advance
> Ian

Andrew Butterfield
School of Computer Science & Statistics
Trinity College
Dublin 2, Ireland

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