--- a/src/Pure/Makefile Fri Oct 15 10:25:23 1993 +0100
+++ b/src/Pure/Makefile Fri Oct 15 12:49:33 1993 +0100
@@ -22,12 +22,13 @@
COMP = $(ISABELLECOMP)
FILES = POLY.ML NJ.ML ROOT.ML library.ML term.ML symtab.ML type.ML sign.ML\
sequence.ML envir.ML pattern.ML unify.ML logic.ML thm.ML net.ML\
- drule.ML tctical.ML tactic.ML goals.ML
+ drule.ML tctical.ML tactic.ML goals.ML install_pp.ML
SYNTAX_FILES = Syntax/ROOT.ML Syntax/ast.ML Syntax/xgram.ML\
Syntax/extension.ML Syntax/lexicon.ML Syntax/parse_tree.ML\
- Syntax/earley0A.ML Syntax/type_ext.ML Syntax/sextension.ML\
- Syntax/pretty.ML Syntax/printer.ML Syntax/syntax.ML
+ Syntax/parser.ML Syntax/type_ext.ML Syntax/sextension.ML\
+ Syntax/pretty.ML Syntax/printer.ML Syntax/syntax.ML\
+ Syntax/earley0A.ML
THY_FILES = Thy/ROOT.ML Thy/scan.ML Thy/parse.ML Thy/syntax.ML Thy/read.ML