# HG changeset patch
# User wenzelm
# Date 1185299070 -7200
# Node ID c2e81bcee06b25e354db7cd2b05d61108ab82cb6
# Parent  bb838771157f4b654bead5325cb0978c541a49aa
renamed ML-Systems/no_multithreading.ML to ML-Systems/multithreading_dummy.ML;
added ML-Systems/multithreading_polyml.ML, ML-Systems/exn.ML

diff -r bb838771157f -r c2e81bcee06b src/Pure/IsaMakefile
--- a/src/Pure/IsaMakefile	Tue Jul 24 19:44:29 2007 +0200
+++ b/src/Pure/IsaMakefile	Tue Jul 24 19:44:30 2007 +0200
@@ -40,9 +40,9 @@
   Isar/proof_display.ML Isar/proof_history.ML Isar/rule_cases.ML		\
   Isar/rule_insts.ML Isar/session.ML Isar/skip_proof.ML Isar/spec_parse.ML	\
   Isar/specification.ML Isar/theory_target.ML Isar/toplevel.ML			\
-  ML-Systems/alice.ML ML-Systems/no_multithreading.ML 				\
-  ML-Systems/polyml-4.1.3.ML ML-Systems/polyml-4.1.4.ML 			\
-  ML-Systems/polyml-5.0.ML ML-Systems/polyml-5.1.ML				\
+  ML-Systems/alice.ML ML-Systems/exn.ML ML-Systems/multithreading_dummy.ML	\
+  ML-Systems/multithreading_polyml.ML ML-Systems/polyml-4.1.3.ML		\
+  ML-Systems/polyml-4.1.4.ML ML-Systems/polyml-5.0.ML ML-Systems/polyml-5.1.ML	\
   ML-Systems/polyml-interrupt-timeout.ML ML-Systems/polyml-old-basis.ML		\
   ML-Systems/polyml-posix.ML ML-Systems/polyml.ML ML-Systems/poplogml.ML	\
   ML-Systems/smlnj.ML Proof/extraction.ML Proof/proof_rewrite_rules.ML		\
@@ -76,7 +76,8 @@
 
 RAW: $(OUT)/RAW
 
-$(OUT)/RAW: ML-Systems/alice.ML ML-Systems/no_multithreading.ML			\
+$(OUT)/RAW: ML-Systems/alice.ML ML-Systems/exn.ML 				\
+  ML-Systems/multithreading_dummy.ML ML-Systems/multithreading_polyml.ML	\
   ML-Systems/polyml-4.1.3.ML ML-Systems/polyml-4.1.4.ML 			\
   ML-Systems/polyml-5.0.ML ML-Systems/polyml-5.1.ML				\
   ML-Systems/polyml-interrupt-timeout.ML ML-Systems/polyml-old-basis.ML		\