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 = '''