--- a/lib/Tools/usedir Tue Mar 18 18:20:26 1997 +0100
+++ b/lib/Tools/usedir Tue Mar 18 18:20:52 1997 +0100
@@ -78,6 +78,6 @@
exec $ISABELLE \
-e "make_html := $ISABELLE_HTML;" \
-e "set_session\"$SESSION\";" \
- -e "exit_use_dir\"$NAME\";" \
+ -e "exit_use_dir\"$NAME\"; quit();" \
-r -q $LOGIC
fi