I am partly to blame. The changes involving the “real” function caused a lot of disruption. I needed a week to get all of Isabelle/HOL working again, and thought it a more practical option to tackle the AFP failures after they occurred. Most of them were only out of action for a day.
Larry > On 19 Nov 2015, at 09:16, Florian Haftmann > <florian.haftm...@informatik.tu-muenchen.de> wrote: > > Thanks to all who have invested time and energy to work on those issues. > > Nevertheless I have the impression that in the last time there have have > been lots of movements in the distribution being speculative in the > sense that no systematic testing including the AFP had taken place. > > What is the reason for this? No access to suitable computing machines? > > Cheers, > Florian > > -- > > PGP available: > http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de > > _______________________________________________ > isabelle-dev mailing list > isabelle-...@in.tum.de > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
