src/Pure/Admin/component_e.scala

--- a/src/Pure/Admin/component_e.scala	Sun Apr 06 15:47:23 2025 +0200
+++ b/src/Pure/Admin/component_e.scala	Sun Apr 06 15:50:56 2025 +0200
@@ -48,6 +48,7 @@
       progress.echo("Building E prover for " + platform_name + " ...")
 
       // adhoc patch wrt. https://github.com/eprover/eprover/commit/d40e1db7d786
+      // obsolete after https://github.com/eprover/eprover/commit/5ae1a2c66da6
       if (Platform.is_windows) {
         File.change_lines(source_dir + Path.explode("PROVER/eprover.c"), strict = true) {
           _.map(line => if (line.containsSlice("setpgid(0, 0)")) "" else line)