src/Pure/IsaMakefile
changeset 18387 90b2b2fd3fdf
parent 18169 45def66f86cb
child 18613 3cdfa57408be
     1.1 --- a/src/Pure/IsaMakefile	Mon Dec 12 15:37:35 2005 +0100
     1.2 +++ b/src/Pure/IsaMakefile	Mon Dec 12 17:24:06 2005 +0100
     1.3 @@ -25,7 +25,8 @@
     1.4  
     1.5  $(OUT)/Pure$(ML_SUFFIX): CPure.thy General/ROOT.ML General/alist.ML             \
     1.6    General/buffer.ML General/file.ML General/graph.ML General/heap.ML            \
     1.7 -  General/history.ML General/name_space.ML General/ord_list.ML                  \
     1.8 +  General/history.ML General/name_mangler.ML General/name_space.ML              \
     1.9 +  General/ord_list.ML                                                           \
    1.10    General/output.ML General/path.ML General/position.ML                         \
    1.11    General/pretty.ML General/rat.ML General/scan.ML General/seq.ML               \
    1.12    General/source.ML General/stack.ML General/symbol.ML General/table.ML         \