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.
removed Z3 3.2, now superseded by Z3 4.3
authorblanchet
Tue, 19 Aug 2014 09:36:57 +0200
changeset 57995 08aa1e2cbec0
parent 57994 68b283f9f826
child 57996 ca917ea6969c
removed Z3 3.2, now superseded by Z3 4.3
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/main	Tue Aug 19 09:36:37 2014 +0200
+++ b/Admin/components/main	Tue Aug 19 09:36:57 2014 +0200
@@ -11,6 +11,5 @@
 polyml-5.5.2-1
 scala-2.11.2
 spass-3.8ds
-z3-3.2-1
 z3-4.3.2pre-1
 xz-java-1.2-1
isabelle