Finally, (after I have found out how to use afp_build) I could reproduce
and fix the docuemnt preparation errors in the CAVA-entries, and now,
according to afp-status, everything works fine.
-- Peter
___
isabelle-dev mailing list
isabelle-...@in.tum.de
Thanks for that. It’s good to have them all back to green.
Cheers,
Gerwin
On 30 Jun 2014, at 11:20 am, Peter Lammich lamm...@in.tum.de wrote:
Finally, (after I have found out how to use afp_build) I could reproduce
and fix the docuemnt preparation errors in the CAVA-entries, and now,
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
Hi Peter,
thanks for the update.
The last few days have seen isatest failures. The AFP test only runs when
isatest is successful on polyml.
The last failure that I saw (today) was on the smlnj platform only, so if
nothing else goes wrong it should run through today.
Cheers,
Gerwin
On
