Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
verbose output of completed theories;
authorwenzelm
Mon, 13 Oct 2025 22:06:16 +0200
changeset 83272 ab949accb98c
parent 83271 93db1865ee0e
child 83273 2cb50474958a
verbose output of completed theories;
src/Tools/jEdit/src/session_build.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/session_build.scala	Mon Oct 13 22:01:22 2025 +0200
+++ b/src/Tools/jEdit/src/session_build.scala	Mon Oct 13 22:06:16 2025 +0200
@@ -46,7 +46,7 @@
 
     /* progress */
 
-    private val progress = new Progress {
+    private val progress = new Progress with Progress.Status {
       override def output(msgs: Progress.Output): Unit = {
         val txt = output_text(msgs.map(_.show_theory), terminate = true)
         if (txt.nonEmpty) {
isabelle