--- a/src/Pure/IsaMakefile Mon Aug 16 22:56:28 2010 +0200
+++ b/src/Pure/IsaMakefile Tue Aug 17 15:10:49 2010 +0200
@@ -80,6 +80,7 @@
General/graph.ML \
General/heap.ML \
General/integer.ML \
+ General/linear_set.ML \
General/long_name.ML \
General/markup.ML \
General/name_space.ML \