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 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,
> according to afp-statu
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
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 25.06.2
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.