# HG changeset patch
# User krauss
# Date 1344723364 -7200
# Node ID da0411d633ad50bc96a03c0c1d1128b43b3008d5
# Parent  37cd53e69840dfea3a28b0e478af0c025155e593
removed obsolete configuration AFP_images

diff -r 37cd53e69840 -r da0411d633ad Admin/mira.py
--- a/Admin/mira.py	Sat Aug 11 22:17:46 2012 +0200
+++ b/Admin/mira.py	Sun Aug 12 00:16:04 2012 +0200
@@ -217,11 +217,6 @@
 '''
 
 @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", "HOLCF", "HOL-Word")), more_settings=settings64)
-
-@configuration(repos = [Isabelle], deps = [])
 def Isabelle_makeall(*args):
     """Build all sessions"""
     return isabelle_build(*(args + ("-j", "6", "-o", "threads=4", "-a")), more_settings=settings64)