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.
> 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.
This archive was generated by a fusion of
Pipermail (Mailman edition) and