Re: [isabelle] AFP Incompleteness Entry



Let me investigate that. You shouldnât be getting any errors from Nominal2, esp not if it builds fine in batch mode.

Cheers,
Gerwin

> On 18.09.2016, at 09:57, Corey Richardson <corey at octayn.net> wrote:
> 
> Greetings AFP maintainers,
> 
> Using the 2016-09-09 release of the AFP, I have tried exploring the
> Incompleteness entry with Isabelle2016. The sessions of that directory
> build fine with "isabelle build", but when I try to open Goedel_I.thy in
> jEdit I get numerous errors from Nominal2. Is there a special way to
> invoke jEdit that allows interactive exploration of these theories? I
> especially find the control-click navigation useful.
> 
> Best,
> Corey
> 



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