# HG changeset patch
# User krauss
# Date 1306095745 -7200
# Node ID e6990acab6ff4e4cc033fe19c58797466ccdd93c
# Parent  fcb6250bf6b454a45b0b28bca9cb0386f08cbc75
reverted 7fdd8d4908dc -- keeping images from Isabelle_makeall would be too expensive

diff -r fcb6250bf6b4 -r e6990acab6ff Admin/mira.py
--- a/Admin/mira.py	Sun May 22 20:59:13 2011 +0200
+++ b/Admin/mira.py	Sun May 22 22:22:25 2011 +0200
@@ -289,37 +289,37 @@
       {'mutabelle_results': {theory: mutabelle_data}},
       {'log': log, 'mutabelle_log': mutabelle_log}, None)
 
-@configuration(repos = [Isabelle], deps = [(Isabelle_makeall, [0])])
+@configuration(repos = [Isabelle], deps = [(HOL, [0])])
 def Mutabelle_Relation(*args):
     """Mutabelle regression suite on Relation theory"""
     return invoke_mutabelle('Relation', *args)
 
-@configuration(repos = [Isabelle], deps = [(Isabelle_makeall, [0])])
+@configuration(repos = [Isabelle], deps = [(HOL, [0])])
 def Mutabelle_List(*args):
     """Mutabelle regression suite on List theory"""
     return invoke_mutabelle('List', *args)
 
-@configuration(repos = [Isabelle], deps = [(Isabelle_makeall, [0])])
+@configuration(repos = [Isabelle], deps = [(HOL, [0])])
 def Mutabelle_Set(*args):
     """Mutabelle regression suite on Set theory"""
     return invoke_mutabelle('Set', *args)
 
-@configuration(repos = [Isabelle], deps = [(Isabelle_makeall, [0])])
+@configuration(repos = [Isabelle], deps = [(HOL, [0])])
 def Mutabelle_Map(*args):
     """Mutabelle regression suite on Map theory"""
     return invoke_mutabelle('Map', *args)
 
-@configuration(repos = [Isabelle], deps = [(Isabelle_makeall, [0])])
+@configuration(repos = [Isabelle], deps = [(HOL, [0])])
 def Mutabelle_Divides(*args):
     """Mutabelle regression suite on Divides theory"""
     return invoke_mutabelle('Divides', *args)
 
-@configuration(repos = [Isabelle], deps = [(Isabelle_makeall, [0])])
+@configuration(repos = [Isabelle], deps = [(HOL, [0])])
 def Mutabelle_MacLaurin(*args):
     """Mutabelle regression suite on MacLaurin theory"""
     return invoke_mutabelle('MacLaurin', *args)
 
-@configuration(repos = [Isabelle], deps = [(Isabelle_makeall, [0])])
+@configuration(repos = [Isabelle], deps = [(HOL, [0])])
 def Mutabelle_Fun(*args):
     """Mutabelle regression suite on Fun theory"""
     return invoke_mutabelle('Fun', *args)
@@ -376,22 +376,22 @@
     return (some_success, '', data, raw_attachments, None)
 
 
-@configuration(repos = [Isabelle], deps = [(Isabelle_makeall, [0])])
+@configuration(repos = [Isabelle], deps = [(HOL, [0])])
 def JD_NS(*args):
     """Judgement Day regression suite NS"""
     return judgement_day('Isabelle/src/HOL/Auth', 'NS_Shared', 'prover_timeout=10', *args)
 
-@configuration(repos = [Isabelle], deps = [(Isabelle_makeall, [0])])
+@configuration(repos = [Isabelle], deps = [(HOL, [0])])
 def JD_FTA(*args):
     """Judgement Day regression suite FTA"""
     return judgement_day('Isabelle/src/HOL/Library', 'Fundamental_Theorem_Algebra', 'prover_timeout=10', *args)
 
-@configuration(repos = [Isabelle], deps = [(Isabelle_makeall, [0])])
+@configuration(repos = [Isabelle], deps = [(HOL, [0])])
 def JD_Hoare(*args):
     """Judgement Day regression suite Hoare"""
     return judgement_day('Isabelle/src/HOL/IMPP', 'Hoare', 'prover_timeout=10', *args)
 
-@configuration(repos = [Isabelle], deps = [(Isabelle_makeall, [0])])
+@configuration(repos = [Isabelle], deps = [(HOL, [0])])
 def JD_SN(*args):
     """Judgement Day regression suite SN"""
     return judgement_day('Isabelle/src/HOL/Proofs/Lambda', 'StrongNorm', 'prover_timeout=10', *args)