# HG changeset patch
# User wenzelm
# Date 1608551488 -3600
# Node ID 5bc7fd5379efda8354950d0cc2b7dd2ca5c83a24
# Parent  5fa7f098ded5b9709188c53af3bd41dbdb403283
provide zipperposition-2.0 for experimentation;

diff -r 5fa7f098ded5 -r 5bc7fd5379ef Admin/components/components.sha1
--- a/Admin/components/components.sha1	Mon Dec 21 08:15:45 2020 +0100
+++ b/Admin/components/components.sha1	Mon Dec 21 12:51:28 2020 +0100
@@ -369,3 +369,4 @@
 4c366ab255d2e9343fb635d44d4d55ddd24c76d0  z3-4.4.0pre-3.tar.gz
 517ba7b94c1985416c5b411c8ae84456367eb231  z3-4.4.0pre.tar.gz
 aa20745f0b03e606b1a4149598e0c7572b63c657  z3-4.8.3.tar.gz
+b884c60653002a7811e3b652ae0515e825d98667  zipperposition-2.0.tar.gz
diff -r 5fa7f098ded5 -r 5bc7fd5379ef Admin/components/main
--- a/Admin/components/main	Mon Dec 21 08:15:45 2020 +0100
+++ b/Admin/components/main	Mon Dec 21 12:51:28 2020 +0100
@@ -24,3 +24,4 @@
 xz-java-1.8
 verit-2020.10-rmx-1
 z3-4.4.0pre-3
+zipperposition-2.0
diff -r 5fa7f098ded5 -r 5bc7fd5379ef NEWS
--- a/NEWS	Mon Dec 21 08:15:45 2020 +0100
+++ b/NEWS	Mon Dec 21 12:51:28 2020 +0100
@@ -246,6 +246,9 @@
 * Update/rebuild external provers on currently supported OS platforms,
 notably CVC4 1.8, E prover 2.5, SPASS 3.8ds, CSDP 6.1.1.
 
+* External prover Zipperposition 2.0 is available as component for
+experimentation.
+
 * Discontinued obsolete isabelle display tool, and DVI_VIEWER settings
 variable.