--- a/Admin/components/components.sha1 Thu Sep 23 11:30:49 2021 +0200
+++ b/Admin/components/components.sha1 Fri Sep 24 12:53:11 2021 +0200
@@ -80,6 +80,7 @@
6b962a6b4539b7ca4199977973c61a8c98a492e8 e-2.0.tar.gz
66449a7b68b7d85a7189e10735a81069356123b6 e-2.5-1.tar.gz
813b66ca151d7a39b5cacb39ab52acabc2a54845 e-2.5.tar.gz
+a3bebab5df4294dac2dd7fd2065a94df00e0b3ff e-2.6.tar.gz
6d34b18ca0aa1e10bab6413045d079188c0e2dfb exec_process-1.0.1.tar.gz
8b9bffd10e396d965e815418295f2ee2849bea75 exec_process-1.0.2.tar.gz
e6aada354da11e533af2dee3dcdd96c06479b053 exec_process-1.0.3.tar.gz
--- a/Admin/components/main Thu Sep 23 11:30:49 2021 +0200
+++ b/Admin/components/main Fri Sep 24 12:53:11 2021 +0200
@@ -4,7 +4,7 @@
bib2xhtml-20190409
csdp-6.1.1
cvc4-1.8
-e-2.5-1
+e-2.6
flatlaf-1.2
idea-icons-20210508
isabelle_fonts-20210322
--- a/src/Pure/Admin/build_e.scala Thu Sep 23 11:30:49 2021 +0200
+++ b/src/Pure/Admin/build_e.scala Fri Sep 24 12:53:11 2021 +0200
@@ -11,7 +11,7 @@
{
/* build E prover */
- val default_version = "2.5"
+ val default_version = "2.6"
val default_download_url = "https://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD"
def build_e(