bin/isabelle

--- 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