# HG changeset patch
# User krauss
# Date 1301653194 -7200
# Node ID 906780d5138e848a39cd2dd47cc69bb4e484468a
# Parent  09377c05c561cd325c8357af889b6421a9af30c9
scheduler for judgement day

diff -r 09377c05c561 -r 906780d5138e Admin/mira.py
--- a/Admin/mira.py	Fri Apr 01 12:16:41 2011 +0200
+++ b/Admin/mira.py	Fri Apr 01 12:19:54 2011 +0200
@@ -10,6 +10,9 @@
 
 import util
 
+from mira import schedule
+from mira.environment import scheduler
+
 
 # build and evaluation tools
 
@@ -332,6 +335,14 @@
     return judgement_day('Isabelle/src/HOL/Proofs/Lambda', 'StrongNorm', 'prover_timeout=10', *args)
 
 
+JD_confs = 'JD_NS JD_FTA JD_Hoare JD_SN JD_Arrow JD_FFT JD_Jinja JD_QE JD_S2S'.split(' ')
+
+@scheduler()
+def judgement_day(env):
+    """Scheduler for Judgement Day."""
+    return schedule.age_scheduler(env, 'Isabelle', JD_confs)
+
+
 # SML/NJ
 
 smlnj_settings = '''