[isabelle] Really Bashed?



Hello all,

when starting Isabelle several processes are created on a windows machine (4 times bash, perl, poly etc) and after closing the main process at least 2 bash processes remain active. Does anyone know how to kill the remaining processes?

[A hint: they are somehow created wildly, without identifying their parent process]

Regards,
Jens




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.