# HG changeset patch
# User wenzelm
# Date 1602517200 -7200
# Node ID cd3419427cd3303890b07776975b64905beafe47
# Parent  7bf67a58f54a3e56e10b921eea6ec8dec5186c25
activate E 2.5 for production use (see also 5d1a7b688f6d);
rebuild component according to current "isabelle build_e" and PLATFORMS;

diff -r 7bf67a58f54a -r cd3419427cd3 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Mon Oct 12 16:19:11 2020 +0200
+++ b/Admin/components/components.sha1	Mon Oct 12 17:40:00 2020 +0200
@@ -72,6 +72,7 @@
 5d36fb62912cfcff7f3b99a6266c578aafc288b7  e-2.0-4.tar.gz
 3223c51c0b16fe00ced4ae903041fff858e61742  e-2.0-5.tar.gz
 6b962a6b4539b7ca4199977973c61a8c98a492e8  e-2.0.tar.gz
+66449a7b68b7d85a7189e10735a81069356123b6  e-2.5-1.tar.gz
 813b66ca151d7a39b5cacb39ab52acabc2a54845  e-2.5.tar.gz
 6d34b18ca0aa1e10bab6413045d079188c0e2dfb  exec_process-1.0.1.tar.gz
 8b9bffd10e396d965e815418295f2ee2849bea75  exec_process-1.0.2.tar.gz
diff -r 7bf67a58f54a -r cd3419427cd3 Admin/components/main
--- a/Admin/components/main	Mon Oct 12 16:19:11 2020 +0200
+++ b/Admin/components/main	Mon Oct 12 17:40:00 2020 +0200
@@ -3,7 +3,7 @@
 bib2xhtml-20190409
 csdp-6.1.1
 cvc4-1.5-5
-e-2.0-5
+e-2.5-1
 isabelle_fonts-20190717
 jdk-11.0.5+10
 jedit_build-20200908