Admin/MacOS/App2/Isabelle.app/Contents/MacOS/Isabelle
author blanchet
Mon, 09 Sep 2013 23:54:59 +0200
changeset 53492 c3d7d9911aae
parent 31925 569b7fae5206
permissions lrwxrwxrwx
since "full_proofs" can influence the proof search significantly (e.g. by disabling splitting for SPASS), it shouldn't be affected by the "debug" flag in the interest of minimizing confusion

/System/Library/Frameworks/JavaVM.framework/Resources/MacOS/JavaApplicationStub