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.
reenable Kodkodi in Mira now that Nitpick has been ported to 'a set constructor
authorblanchet
Wed, 04 Jan 2012 00:32:02 +0100
changeset 46109 03e3b4b401e9
parent 46108 1c314d838676
child 46110 22294c79cea6
reenable Kodkodi in Mira now that Nitpick has been ported to 'a set constructor
Admin/contributed_components file | annotate | diff | comparison | revisions 
--- a/Admin/contributed_components	Wed Jan 04 00:30:53 2012 +0100
+++ b/Admin/contributed_components	Wed Jan 04 00:32:02 2012 +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