src/Pure/IsaMakefile
changeset 6134 ec6092b0599d
parent 6116 8ba2f25610f7
child 6177 51113cb0ed87
     1.1 --- a/src/Pure/IsaMakefile	Fri Jan 15 16:13:31 1999 +0100
     1.2 +++ b/src/Pure/IsaMakefile	Mon Jan 18 21:08:27 1999 +0100
     1.3 @@ -23,7 +23,7 @@
     1.4  
     1.5  Pure: $(OUT)/Pure
     1.6  
     1.7 -$(OUT)/Pure: General/ROOT.ML General/file.ML General/history.ML \
     1.8 +$(OUT)/Pure: General/ROOT.ML General/file.ML General/graph.ML General/history.ML \
     1.9    General/name_space.ML General/object.ML General/path.ML \
    1.10    General/position.ML General/pretty.ML General/scan.ML General/seq.ML \
    1.11    General/source.ML General/symbol.ML General/table.ML Isar/ROOT.ML \