# HG changeset patch
# User wenzelm
# Date 1223578401 -7200
# Node ID f8719bcc50062f1c4a0aec7e3acdb30dd64ca42a
# Parent  91eec4012bc5134f69d1595b5c7a113741a1f9a5
moved future_scheduler flag to Concurrent/ROOT.ML;

diff -r 91eec4012bc5 -r f8719bcc5006 src/Pure/Isar/skip_proof.ML
--- a/src/Pure/Isar/skip_proof.ML	Thu Oct 09 20:53:20 2008 +0200
+++ b/src/Pure/Isar/skip_proof.ML	Thu Oct 09 20:53:21 2008 +0200
@@ -5,8 +5,6 @@
 Skipping proofs -- quick_and_dirty mode.
 *)
 
-val future_scheduler = ref false;
-
 signature SKIP_PROOF =
 sig
   val make_thm: theory -> term -> thm