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.
disabled kodkodi in mira runs as well (cf. 493d9c4d7ed5)
authorkrauss
Sat, 31 Dec 2011 00:19:32 +0100
changeset 46061 7a1af6666527
parent 46060 f94b7179a75d
child 46062 9bc924006136
disabled kodkodi in mira runs as well (cf. 493d9c4d7ed5)
Admin/contributed_components file | annotate | diff | comparison | revisions 
--- a/Admin/contributed_components	Fri Dec 30 18:14:56 2011 +0100
+++ b/Admin/contributed_components	Sat Dec 31 00:19:32 2011 +0100
@@ -1,7 +1,7 @@
 #contributed components
 contrib/cvc3-2.2
 contrib/e-1.4
-contrib/kodkodi-1.2.16
+#contrib/kodkodi-1.2.16
 contrib/spass-3.7
 contrib/scala-2.8.1.final
 contrib/vampire-1.0
isabelle