equal
deleted
inserted
replaced
5 # |
5 # |
6 # The Pure part is common to all systems. Object-logics (like FOL) |
6 # The Pure part is common to all systems. Object-logics (like FOL) |
7 # are loaded on top of it. |
7 # are loaded on top of it. |
8 # |
8 # |
9 |
9 |
10 OUT = $(ISABELLE_OUTPUT_DIR) |
10 OUT = $(ISABELLE_OUTPUT) |
11 |
11 |
12 FILES = ML-Systems/polyml.ML ML-Systems/smlnj-0.93.ML \ |
12 FILES = ML-Systems/polyml.ML ML-Systems/smlnj-0.93.ML \ |
13 ML-Systems/smlnj-1.07.ML ML-Systems/smlnj-1.09.ML ROOT.ML \ |
13 ML-Systems/smlnj-1.07.ML ML-Systems/smlnj-1.09.ML ROOT.ML \ |
14 Syntax/ROOT.ML Syntax/ast.ML Syntax/lexicon.ML Syntax/mixfix.ML \ |
14 Syntax/ROOT.ML Syntax/ast.ML Syntax/lexicon.ML Syntax/mixfix.ML \ |
15 Syntax/parser.ML Syntax/pretty.ML Syntax/printer.ML \ |
15 Syntax/parser.ML Syntax/pretty.ML Syntax/printer.ML \ |