src/Pure/Makefile
changeset 57 87e14d7f20dc
parent 0 a5a9c433f639
child 223 7892b76adb5b
     1.1 --- a/src/Pure/Makefile	Fri Oct 15 10:25:23 1993 +0100
     1.2 +++ b/src/Pure/Makefile	Fri Oct 15 12:49:33 1993 +0100
     1.3 @@ -22,12 +22,13 @@
     1.4  COMP = $(ISABELLECOMP)
     1.5  FILES =	POLY.ML NJ.ML ROOT.ML library.ML term.ML symtab.ML type.ML sign.ML\
     1.6  	sequence.ML envir.ML pattern.ML unify.ML logic.ML thm.ML net.ML\
     1.7 -	drule.ML tctical.ML tactic.ML goals.ML
     1.8 +	drule.ML tctical.ML tactic.ML goals.ML install_pp.ML
     1.9  
    1.10  SYNTAX_FILES =  Syntax/ROOT.ML	Syntax/ast.ML		Syntax/xgram.ML\
    1.11  	Syntax/extension.ML	Syntax/lexicon.ML	Syntax/parse_tree.ML\
    1.12 -	Syntax/earley0A.ML	Syntax/type_ext.ML	Syntax/sextension.ML\
    1.13 -	Syntax/pretty.ML	Syntax/printer.ML	Syntax/syntax.ML
    1.14 +	Syntax/parser.ML	Syntax/type_ext.ML	Syntax/sextension.ML\
    1.15 +	Syntax/pretty.ML	Syntax/printer.ML	Syntax/syntax.ML\
    1.16 +	Syntax/earley0A.ML
    1.17  
    1.18  THY_FILES = Thy/ROOT.ML Thy/scan.ML Thy/parse.ML Thy/syntax.ML Thy/read.ML
    1.19