--- a/src/Pure/IsaMakefile Tue Mar 20 18:01:34 2012 +0100
+++ b/src/Pure/IsaMakefile Tue Mar 20 20:00:13 2012 +0100
@@ -108,6 +108,7 @@
Isar/args.ML \
Isar/attrib.ML \
Isar/auto_bind.ML \
+ Isar/bundle.ML \
Isar/calculation.ML \
Isar/class.ML \
Isar/class_declaration.ML \