[isabelle-dev] isabelle-release repository

Alexander Krauss 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).

Alex



More information about the isabelle-dev mailing list