# HG changeset patch
# User krauss
# Date 1309967818 -7200
# Node ID 08ccba00eb34c8e2e1dfbb0ee5f4794563e3abe5
# Parent  2882832b8d890251b84d8a1270c4514dbde26ba4
removed unused mira configuration

diff -r 2882832b8d89 -r 08ccba00eb34 Admin/mira.py
--- a/Admin/mira.py	Wed Jul 06 13:57:52 2011 +0200
+++ b/Admin/mira.py	Wed Jul 06 17:56:58 2011 +0200
@@ -224,11 +224,6 @@
       {'timing': extract_isabelle_run_timing(log)}, {'log': log}, result)
 
 @configuration(repos = [Isabelle], deps = [(Pure, [0])])
-def FOL(*args):
-    """FOL image"""
-    return build_isabelle_image('FOL', 'Pure', 'FOL', *args)
-
-@configuration(repos = [Isabelle], deps = [(Pure, [0])])
 def HOL(*args):
     """HOL image"""
     return build_isabelle_image('HOL', 'Pure', 'HOL', *args)