[isabelle-dev] Failure semantics for isabelle sessions

Jasmin Christian Blanchette jasmin.blanchette at gmail.com
Wed Oct 19 23:36:04 CEST 2011

Am 19.10.2011 um 22:34 schrieb Alexander Krauss:

> Does anybody know if there is a straightforward translation of the error codes 134/137 into English?

Just Google "Unix exit codes".

E.g. 134 = "The job is killed with an abort signal, and you probably got core dumped", 137 = "The job was killed because it exceeded the time limit", and 139 = "Segmentatation violation".


More information about the isabelle-dev mailing list