[isabelle-dev] Isabelle2012 post-release mode
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
The report on
show some error messages, but they are not very informative.
Any hints are welcome.
More information about the isabelle-dev