--- a/bin/isabelle Wed Dec 03 11:42:45 1997 +0100 +++ b/bin/isabelle Wed Dec 03 12:55:04 1997 +0100 @@ -176,7 +176,9 @@ else $ISABELLE_HOME/lib/scripts/run-$ML_SYSTEM_BASE fi - +RC=$? #Do not even think of 'rm -r'!! rmdir $ISABELLE_TMP + +exit $RC