--- a/src/Pure/IsaMakefile Fri Jan 02 15:35:11 2009 +0100
+++ b/src/Pure/IsaMakefile Sat Jan 03 08:36:20 2009 +0100
@@ -26,6 +26,7 @@
Concurrent/par_list_dummy.ML Concurrent/simple_thread.ML \
Concurrent/synchronized.ML Concurrent/task_queue.ML General/ROOT.ML \
General/alist.ML General/balanced_tree.ML General/basics.ML \
+ General/binding.ML \
General/buffer.ML General/file.ML General/graph.ML General/heap.ML \
General/integer.ML General/lazy.ML General/markup.ML \
General/name_space.ML General/ord_list.ML General/output.ML \