[isabelle-dev] Isabelle2012 post-release mode

Lukas Bulwahn bulwahn at in.tum.de
Fri May 25 08:48:59 CEST 2012

On 05/23/2012 01:28 PM, Makarius wrote:
> Dear All,
> the current situation is as follows:
>   * As of Isabelle/c5f7be4a1734 the
>     http://isabelle.in.tum.de/repos/isabelle-release branch is merged
>     again with the main line.
>   * isatest is back testing http://isabelle.in.tum.de/repos/isabelle

With the mira testing, Isabelle-makeall on lxbroy10 seems to be not 
terminating after the release branch was merged back.
I killed the processes now throughout the days, but I cannot tell what 
the error is.

It seems as if the script "perl -w /lib/scripts/feeder.pl" is doing 
something wrong.

The report on 
show some error messages, but they are not very informative.

Any hints are welcome.


More information about the isabelle-dev mailing list