# HG changeset patch
# User wenzelm
# Date 1632480791 -7200
# Node ID 8cbe519c2085aa815154b54fbc112fda9f0efd2c
# Parent  6ab3116a251a51880bd74feeb37cee656ab98961
update to e-2.6, following Martin Desharnais;

diff -r 6ab3116a251a -r 8cbe519c2085 Admin/components/components.sha1
--- 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
diff -r 6ab3116a251a -r 8cbe519c2085 Admin/components/main
--- 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
diff -r 6ab3116a251a -r 8cbe519c2085 src/Pure/Admin/build_e.scala
--- 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(