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 E (1.5)
authorblanchet
Mon, 07 May 2012 12:20:55 +0200
changeset 47890 0cedab5d2eb7
parent 47889 29212a4bb866
child 47891 e3627a83b114
use latest E (1.5)
Admin/contributed_components file | annotate | diff | comparison | revisions 
--- a/Admin/contributed_components	Fri May 04 17:12:37 2012 +0200
+++ b/Admin/contributed_components	Mon May 07 12:20:55 2012 +0200
@@ -1,6 +1,6 @@
 #contributed components
 contrib/cvc3-2.2
-contrib/e-1.4
+contrib_devel/e-1.5
 contrib/hol-light-bundle-0.5-126
 contrib/kodkodi-1.2.16
 contrib/spass-3.8ds
isabelle