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