[isabelle-dev] isabelle-release repository

Gerwin Klein gerwin.klein at nicta.com.au
Mon Sep 26 23:55:55 CEST 2011


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




More information about the isabelle-dev mailing list