# HG changeset patch
# User wenzelm
# Date 750685773 -3600
# Node ID 87e14d7f20dced6af499619b4dd1f452c930e399
# Parent  2caa6f49f06e88ffcc9930229ce46502fc01d87a
added parser.ML, install_pp.ML

diff -r 2caa6f49f06e -r 87e14d7f20dc src/Pure/Makefile
--- 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