src/Pure/ROOT
changeset 56053 030531cc4c62
parent 55672 5e25cc741ab9
child 56072 31e427387ab5
     1.1 --- a/src/Pure/ROOT	Tue Mar 11 14:28:39 2014 +0100
     1.2 +++ b/src/Pure/ROOT	Tue Mar 11 18:26:47 2014 +0100
     1.3 @@ -71,6 +71,7 @@
     1.4      "General/basics.ML"
     1.5      "General/binding.ML"
     1.6      "General/buffer.ML"
     1.7 +    "General/change_table.ML"
     1.8      "General/completion.ML"
     1.9      "General/file.ML"
    1.10      "General/graph.ML"