[isabelle-dev] AFP: Failing entries

[Peter Lammich]

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