# HG changeset patch # User nipkow # Date 770452092 -7200 # Node ID 8039ac1065f7aca9e43329da4c94321b1974e1ca # Parent 4d4e0442b106490a3a0195e20cd6a4fb8bf9ce2d reflected changes in the structure of Thy diff -r 4d4e0442b106 -r 8039ac1065f7 src/Pure/Makefile --- a/src/Pure/Makefile Tue May 31 13:17:41 1994 +0200 +++ b/src/Pure/Makefile Wed Jun 01 08:28:12 1994 +0200 @@ -29,7 +29,7 @@ Syntax/pretty.ML Syntax/printer.ML Syntax/syntax.ML\ Syntax/earley0A.ML Syntax/syn_ext.ML -THY_FILES = Thy/ROOT.ML Thy/scan.ML Thy/parse.ML Thy/syntax.ML Thy/read.ML +THY_FILES = Thy/ROOT.ML Thy/scan.ML Thy/parse.ML Thy/thy_scan.ML Thy/thy_parse.ML Thy/thy_read.ML #Uses cp rather than make_database because Poly/ML allows only 3 levels $(BIN)/Pure: $(FILES) $(SYNTAX_FILES) $(THY_FILES) $(ML_DBASE)