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.
provide zipperposition-2.1 (still unused);
authorwenzelm
Mon, 27 Sep 2021 20:45:26 +0200
changeset 74368 ac90d6c6c149
parent 74367 ba30067b7259
child 74369 3301c0d8b560
provide zipperposition-2.1 (still unused);
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
src/Pure/Admin/build_zipperposition.scala file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Mon Sep 27 11:19:56 2021 +0200
+++ b/Admin/components/components.sha1	Mon Sep 27 20:45:26 2021 +0200
@@ -438,3 +438,4 @@
 aa20745f0b03e606b1a4149598e0c7572b63c657  z3-4.8.3.tar.gz
 9dfeb39c87393af7b6a34118507637aa53aca05e  zipperposition-2.0-1.tar.gz
 b884c60653002a7811e3b652ae0515e825d98667  zipperposition-2.0.tar.gz
+5f53a77efb5cbe9d0c95d74a1588cc923bd711a7  zipperposition-2.1.tar.gz
--- a/src/Pure/Admin/build_zipperposition.scala	Mon Sep 27 11:19:56 2021 +0200
+++ b/src/Pure/Admin/build_zipperposition.scala	Mon Sep 27 20:45:26 2021 +0200
@@ -9,7 +9,7 @@
 
 object Build_Zipperposition
 {
-  val default_version = "2.0"
+  val default_version = "2.1"
 
 
   /* build Zipperposition */
isabelle