On 27/09/2011, at 7:45 AM, Alexander Krauss wrote: > On 09/26/2011 11:38 PM, Makarius wrote: >> isatest will also test http://isabelle.in.tum.de/repos/isabelle-release >> within the next few weeks. (In the past I used to have a minimal isatest >> for http://isabelle.in.tum.de/repos/isabelle but that was superseded by >> http://isabelle.in.tum.de/reports/Isabelle/ last time. Can we count on >> this again?) > > Yes. Our mira setup will run Isabelle_makeall as usual both for official > changes and stuff pushed to testboard. There are also AFP tests etc. > > Note that before Isabelle and the AFP are released, changes to Isabelle are > basically limited to ones that do not break the AFP (unless Gerwin plans to > fork, too).
I've changed the afp test to point to isabelle-release for now. Unless people tell me they have incoming changes to the AFP that depend on new Isabelle changes before the release, I do not plan to fork. There are 3 new small entries that should come in before the release and 2 entries currently broken (Jinja & JinjaThreads). Florian and I are working on the latter. If someone has time, it would be nice to take a look at Jinja. Cheers, Gerwin _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev