src/HOL/IsaMakefile
changeset 2607 a224a2865e05
parent 2545 d10abc8c11fb
child 2635 835820c1591d
     1.1 --- a/src/HOL/IsaMakefile	Wed Feb 12 15:42:31 1997 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Wed Feb 12 15:43:50 1997 +0100
     1.3 @@ -34,7 +34,7 @@
     1.4              $(TFL_NAMES:%=../TFL/%.sig) $(TFL_NAMES:%=../TFL/%.sml)
     1.5  
     1.6  TFL:	$(OUT)/HOL $(TFL_FILES)
     1.7 -	@$(ISABELLE) -e 'exit_use_dir"../TFL"; quit();' HOL
     1.8 +	@$(ISABELLE) -qe 'exit_use_dir"../TFL"; quit();' HOL
     1.9  
    1.10  
    1.11