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 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 r
