On Tue, 29 May 2012, Makarius wrote:
On Sat, 26 May 2012, Gerwin Klein wrote:
I think I have a similar problem getting the last two big AFP entries
online (Flyspeck and JinjaThreads).
When I use "nohup isabelle make" or anything that calls isabelle make,
the session builds fine, runs to the e
On 29/05/2012, at 9:31 PM, Makarius wrote:
> Published releases are immutable, and can only be superseded by other
> releases. For the moment my tendency is to wait and see how relevant it is
> for most users. We can certainly modify the /home/isabelle/Isabelle2012
> installation to accomodate
On Tue, 29 May 2012, Lukas Bulwahn wrote:
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/scri
On 05/25/2012 03:31 PM, Lukas Bulwahn wrote:
On 05/25/2012 02:17 PM, Makarius wrote:
On Fri, 25 May 2012, Lukas Bulwahn wrote:
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-
On 23/05/2012, at 10:17 PM, Gerwin Klein wrote:
> The AFP is now on freeze until the update to 2012 is out.
AFP 2012 is out now and about to be announced.
The repository is back to normal and open for normal commit traffic again.
Cheers,
Gerwin
___
is
Btw: manually killing perl (just 'kill') seems to work and let the rest of the
scripts continue.
Gerwin
On 26/05/2012, at 9:28 AM, Gerwin Klein wrote:
> I think I have a similar problem getting the last two big AFP entries online
> (Flyspeck and JinjaThreads).
>
> When I use "nohup isabelle m
I think I have a similar problem getting the last two big AFP entries online
(Flyspeck and JinjaThreads).
When I use "nohup isabelle make" or anything that calls isabelle make, the
session builds fine, runs to the end of document preparation, but then hangs
inside perl doing nothing. For exampl
On 25.05.2012 15:23, Makarius wrote:
On Fri, 25 May 2012, Makarius wrote:
I am able to see isatest/mira processes on lxbroy10 where certain perl
processes "hang", i.e. cannot be killed via SIGHUP as expected (but
SIGTERM works).
I think I've done too much killall here, so mira appears to be d
On Fri, 25 May 2012, Makarius wrote:
I am able to see isatest/mira processes on lxbroy10 where certain perl
processes "hang", i.e. cannot be killed via SIGHUP as expected (but
SIGTERM works).
I think I've done too much killall here, so mira appears to be dead. What
needs to be done to restar
On Fri, 25 May 2012, Lukas Bulwahn wrote:
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
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
On 23/05/2012, at 9:28 PM, Makarius wrote:
> * Gerwin should know what needs to be done to release AFP for
>Isabelle2012.
The AFP is now on freeze until the update to 2012 is out.
I will be branching off for the release itself, but to keep the merge back
simple, please refrain from committ
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
* We are still waiting for the Sydney mi
13 matches
Mail list logo
