Hi, yesterday, I have committed changes that should fix the CAVA-entries.
Testboard has already seen my changes, and everything seems fine there: http://isabelle.in.tum.de/testboard/Isabelle/report/758870108e44469d8ea5688ab4610492 However, the revision 7774f1f22e30 mentioned on http://afp.sourceforge.net/status.shtml is 3 days old. When will this be updated? -- Peter _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
