Corey Richardson
2016-09-18 00:05:29 UTC
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
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