[isabelle] AFP Incompleteness Entry

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.


Attachment: signature.asc
Description: OpenPGP digital signature

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