| changeset 2607 | a224a2865e05 |
| parent 2545 | d10abc8c11fb |
| child 2635 | 835820c1591d |
--- 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