Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lib/scripts/run-mlworks
changeset 12111 d942348d8faf
parent 10555 2323ec838401 
--- a/lib/scripts/run-mlworks	Fri Nov 09 00:00:53 2001 +0100
+++ b/lib/scripts/run-mlworks	Fri Nov 09 00:01:55 2001 +0100
@@ -42,7 +42,7 @@
 MLEXIT="commit();"
 
 if [ -z "$TERMINATE" ]; then
-  FEEDER_OPTS="-s"
+  FEEDER_OPTS=""
 else
   FEEDER_OPTS="-q"
 fi
isabelle