--- a/src/Pure/IsaMakefile Wed Dec 10 16:30:33 2008 +0100
+++ b/src/Pure/IsaMakefile Wed Dec 10 17:18:12 2008 +0100
@@ -26,7 +26,8 @@
Concurrent/par_list_dummy.ML Concurrent/schedule.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/buffer.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 General/path.ML \