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.
corrected session name
authorkrauss
Sun, 05 Aug 2012 23:32:04 +0200
changeset 48688 fe611991427a
parent 48687 968ecd2bca88
child 48689 ebbd70082e65
corrected session name
Admin/mira.py file | annotate | diff | comparison | revisions 
--- a/Admin/mira.py	Sun Aug 05 22:25:16 2012 +0200
+++ b/Admin/mira.py	Sun Aug 05 23:32:04 2012 +0200
@@ -200,9 +200,9 @@
     return isabelle_build(*(args + ("-b", "HOL-Library")))
 
 @configuration(repos = [Isabelle], deps = [(HOL, [0])])
-def HOL_HOLCF(*args):
+def HOLCF(*args):
     """HOLCF"""
-    return isabelle_build(*(args + ("-b", "HOL-HOLCF")))
+    return isabelle_build(*(args + ("-b", "HOLCF")))
 
 @configuration(repos = [Isabelle], deps = [(Pure, [0])])
 def ZF(*args):
@@ -219,7 +219,7 @@
 @configuration(repos = [Isabelle], deps = [])
 def AFP_images(*args):
     """Isabelle images needed for the AFP (64 bit)"""
-    return isabelle_build(*(args + ("-b", "-j", "2", "Pure", "HOL", "HOL-HOLCF", "HOL-Word")), more_settings=settings64)
+    return isabelle_build(*(args + ("-b", "-j", "2", "Pure", "HOL", "HOLCF", "HOL-Word")), more_settings=settings64)
 
 @configuration(repos = [Isabelle], deps = [])
 def Isabelle_makeall(*args):
isabelle