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 Thu, 24 May 2012, Christian Sternagel wrote:
The Prover Session panel has check/cancel buttons that are reminiscent
of manual control in PG. The keyboard shortcuts are C-SPACE and
C-BACKSPACE, respectively. You need to avoid rash movements after
cancelation, outerwise the checking process
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
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 restart
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
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
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 make