changed SYNTAX_FILES;
authorwenzelm
Wed Jan 19 14:28:35 1994 +0100 (1994-01-19)
changeset 241a8ff0932d78a
parent 240 8b2a8c52242d
child 242 8fe3e66abf0c
changed SYNTAX_FILES;
src/Pure/Makefile
     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