--- a/Admin/mira.py Mon Aug 06 14:19:56 2012 +0200
+++ b/Admin/mira.py Mon Aug 06 14:33:23 2012 +0200
@@ -420,11 +420,3 @@
return (True, 'ok', {}, {}, result)
-
-@configuration(repos = [Isabelle], deps = [
- (HOL, [0]),
- (HOLCF, [0]),
- (ZF, [0]),
- (HOL_Library, [0])
- ])
-