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.
use latest SPASS
authorblanchet
Thu, 19 Apr 2012 11:10:03 +0200
changeset 47578 d83254265530
parent 47577 b8f33b19e20b
child 47579 28f6f4ad69bf
child 47604 c0fe12591c93
use latest SPASS
Admin/contributed_components file | annotate | diff | comparison | revisions 
--- a/Admin/contributed_components	Thu Apr 19 11:00:12 2012 +0200
+++ b/Admin/contributed_components	Thu Apr 19 11:10:03 2012 +0200
@@ -3,7 +3,7 @@
 contrib/e-1.4
 contrib/hol-light-bundle-0.5-126
 contrib/kodkodi-1.2.16
-contrib/spass-3.7
+contrib_devel/spass-3.8ds
 contrib/scala-2.9.2
 contrib/vampire-1.0
 contrib/yices-1.0.28
isabelle