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 itee.uq.edu.au> 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.