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.
tuned
authorbulwahn
Wed, 09 May 2012 11:17:54 +0200
changeset 47896 92b35ed6c396
parent 47895 68f5aaf7cdd2
child 47897 9d978604aee4
tuned
Admin/mira.py file | annotate | diff | comparison | revisions 
--- a/Admin/mira.py	Wed May 09 10:39:54 2012 +0200
+++ b/Admin/mira.py	Wed May 09 11:17:54 2012 +0200
@@ -423,6 +423,7 @@
     """Scheduler for Mutabelle."""
     return schedule.age_scheduler(env, 'Isabelle', mutabelle_confs)
 
+
 # Judgement Day configurations
 
 judgement_day_provers = ('e', 'spass', 'vampire', 'z3', 'cvc3', 'yices')
isabelle