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).
Alex _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
