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.
TFL: missing -q option!
authorwenzelm
Wed, 12 Feb 1997 15:43:50 +0100
changeset 2607 a224a2865e05
parent 2606 27cdd600a3b1
child 2608 450c9b682a92
TFL: missing -q option!
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Wed Feb 12 15:42:31 1997 +0100
+++ b/src/HOL/IsaMakefile	Wed Feb 12 15:43:50 1997 +0100
@@ -34,7 +34,7 @@
             $(TFL_NAMES:%=../TFL/%.sig) $(TFL_NAMES:%=../TFL/%.sml)
 
 TFL:	$(OUT)/HOL $(TFL_FILES)
-	@$(ISABELLE) -e 'exit_use_dir"../TFL"; quit();' HOL
+	@$(ISABELLE) -qe 'exit_use_dir"../TFL"; quit();' HOL
isabelle