changeset 3118 | 24dae6222579 |
parent 3057 | a5a42ff18a40 |
child 3505 | 1cb4ea47d967 |
1.1 --- a/src/ZF/IsaMakefile Tue May 06 15:24:41 1997 +0200 1.2 +++ b/src/ZF/IsaMakefile Tue May 06 15:27:35 1997 +0200 1.3 @@ -6,7 +6,7 @@ 1.4 1.5 #### Base system 1.6 1.7 -OUT = $(ISABELLE_OUTPUT_DIR) 1.8 +OUT = $(ISABELLE_OUTPUT) 1.9 1.10 NAMES = ZF upair subset pair domrange \ 1.11 func AC equalities Bool \