| changeset 3118 | 24dae6222579 |
| parent 2889 | a86f3b5f3cc7 |
| child 3233 | 16a24111ab5a |
--- a/src/FOL/IsaMakefile Tue May 06 15:24:41 1997 +0200 +++ b/src/FOL/IsaMakefile Tue May 06 15:27:35 1997 +0200 @@ -4,7 +4,7 @@ # IsaMakefile for FOL # -OUT = $(ISABELLE_OUTPUT_DIR) +OUT = $(ISABELLE_OUTPUT) FILES = ROOT.ML IFOL.thy IFOL.ML FOL.thy FOL.ML intprover.ML simpdata.ML \ thy_data.ML cladata.ML \