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.2014, at 8:02 pm, Peter Lammich <lamm...@in.tum.de> wrote: > 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 ________________________________ The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments. _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
