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.
no dependencies for Isabelle_makeall, which will be built in one go
authorkrauss
Mon, 16 May 2011 14:10:58 +0200
changeset 42822 dc7232f0c303
parent 42821 4629cbaebc04
child 42823 8a3b9dbc7406
no dependencies for Isabelle_makeall, which will be built in one go
Admin/mira.py file | annotate | diff | comparison | revisions 
--- 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)
isabelle