--- a/src/Pure/IsaMakefile Fri Feb 04 21:52:36 2011 +0100
+++ b/src/Pure/IsaMakefile Sat Feb 05 18:09:57 2011 +0100
@@ -40,7 +40,6 @@
ML-Systems/single_assignment_polyml.ML \
ML-Systems/smlnj.ML \
ML-Systems/thread_dummy.ML \
- ML-Systems/time_limit.ML \
ML-Systems/universal.ML \
ML-Systems/unsynchronized.ML \
ML-Systems/use_context.ML
@@ -69,6 +68,8 @@
Concurrent/synchronized.ML \
Concurrent/synchronized_sequential.ML \
Concurrent/task_queue.ML \
+ Concurrent/time_limit.ML \
+ Concurrent/time_limit_dummy.ML \
General/alist.ML \
General/antiquote.ML \
General/balanced_tree.ML \