[isabelle-dev] AFP: Failing entries
lammich at in.tum.de
Wed Jun 25 12:02:42 CEST 2014
yesterday, I have committed changes that should fix the CAVA-entries.
Testboard has already seen my changes, and everything seems fine there:
However, the revision 7774f1f22e30 mentioned on
is 3 days old. When will this be updated?
More information about the isabelle-dev