less verbosity, amending 3bc49507bae5;

--- a/src/Tools/jEdit/src/session_build.scala	Mon Mar 06 09:46:41 2023 +0100
+++ b/src/Tools/jEdit/src/session_build.scala	Mon Mar 06 09:50:48 2023 +0100
@@ -53,7 +53,6 @@
     /* progress */
 
     private val progress = new Progress {
-      override def verbose: Boolean = true
       override def output(message: Progress.Message): Unit =
         if (do_output(message)) {
           GUI_Thread.later {
@@ -62,6 +61,9 @@
             vertical.setValue(vertical.getMaximum)
           }
         }
+
+      override def theory(theory: Progress.Theory): Unit =
+        output(theory.message.copy(verbose = false))
     }