[isabelle-dev] isabelle-release repository
krauss at in.tum.de
Mon Sep 26 23:45:24 CEST 2011
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).
More information about the isabelle-dev