Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added quit();
authorwenzelm
Tue, 18 Mar 1997 18:20:52 +0100
changeset 2812 dfcd1b00f294
parent 2811 27dd00d74e5a
child 2813 cc4c816dafdc
added quit();
lib/Tools/usedir file | annotate | diff | comparison | revisions 
--- 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
isabelle