Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fixed accidental redefinition
authorkrauss
Fri, 01 Apr 2011 16:29:58 +0200
changeset 42197 5f311600ba26
parent 42196 9893b2913a44
child 42198 ded5ba6b7bac
child 42199 aded34119213
fixed accidental redefinition
Admin/mira.py file | annotate | diff | comparison | revisions 
--- a/Admin/mira.py	Fri Apr 01 15:49:19 2011 +0200
+++ b/Admin/mira.py	Fri Apr 01 16:29:58 2011 +0200
@@ -338,7 +338,7 @@
 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):
+def judgement_day_scheduler(env):
     """Scheduler for Judgement Day."""
     return schedule.age_scheduler(env, 'Isabelle', JD_confs)
isabelle