# HG changeset patch
# User krauss
# Date 1305547858 -7200
# Node ID dc7232f0c303128de251ab41314a493d53d58da0
# Parent  4629cbaebc0424789320730a330348fa66e81602
no dependencies for Isabelle_makeall, which will be built in one go

diff -r 4629cbaebc04 -r dc7232f0c303 Admin/mira.py
--- a/Admin/mira.py	Mon May 16 14:06:07 2011 +0200
+++ b/Admin/mira.py	Mon May 16 14:10:58 2011 +0200
@@ -245,9 +245,7 @@
     """Isabelle images needed for the AFP"""
     return isabelle_dependency_only(*args)
 
-@configuration(repos = [Isabelle], deps = [
-    (AFP_images, [0])
-  ])
+@configuration(repos = [Isabelle], deps = [])
 def Isabelle_makeall(*args):
     """Isabelle makeall"""
     return isabelle_makeall(*args)