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