src/Pure/Makefile
changeset 241 a8ff0932d78a
parent 223 7892b76adb5b
child 407 8039ac1065f7
     1.1 --- a/src/Pure/Makefile	Wed Jan 19 14:27:46 1994 +0100
     1.2 +++ b/src/Pure/Makefile	Wed Jan 19 14:28:35 1994 +0100
     1.3 @@ -24,11 +24,10 @@
     1.4  	sequence.ML envir.ML pattern.ML unify.ML logic.ML thm.ML net.ML\
     1.5  	drule.ML tctical.ML tactic.ML goals.ML install_pp.ML
     1.6  
     1.7 -SYNTAX_FILES =  Syntax/ROOT.ML	Syntax/ast.ML		Syntax/xgram.ML\
     1.8 -	Syntax/extension.ML	Syntax/lexicon.ML\
     1.9 +SYNTAX_FILES =  Syntax/ROOT.ML	Syntax/ast.ML		Syntax/lexicon.ML\
    1.10  	Syntax/parser.ML	Syntax/type_ext.ML	Syntax/sextension.ML\
    1.11  	Syntax/pretty.ML	Syntax/printer.ML	Syntax/syntax.ML\
    1.12 -	Syntax/earley0A.ML
    1.13 +	Syntax/earley0A.ML	Syntax/syn_ext.ML
    1.14  
    1.15  THY_FILES = Thy/ROOT.ML Thy/scan.ML Thy/parse.ML Thy/syntax.ML Thy/read.ML
    1.16