[isabelle-dev] Isabelle2012 post-release mode

Makarius makarius at sketis.net
Fri May 25 15:23:20 CEST 2012

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 it?  Where is this controlled anyway?

Right now we also have problems with the isatest cron jobs (macbroy28), 
which work when started manually, but don't come up automatically as 


More information about the isabelle-dev mailing list