src/Pure/Admin/component_e.scala

--- a/src/Pure/Admin/component_e.scala	Sat Apr 05 23:51:52 2025 +0200
+++ b/src/Pure/Admin/component_e.scala	Sun Apr 06 15:11:40 2025 +0200
@@ -10,7 +10,7 @@
 object Component_E {
   /* build E prover */
 
-  val default_version = "3.1"
+  val default_version = "3.2"
   val default_download_url = "https://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD"
 
   def build_e(