# HG changeset patch
# User haftmann
# Date 1230968180 -3600
# Node ID beb83f120fe87efecfd2bb3626dc2178a8321ae4
# Parent  88d23c927e3791ea59239e2e377e350c750e9729
added binding.ML

diff -r 88d23c927e37 -r beb83f120fe8 src/Pure/IsaMakefile
--- 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		\