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.
tuned messages;
authorwenzelm
Sun, 15 Sep 2019 14:01:57 +0200
changeset 70702 a65b9624cb98
parent 70701 e54213954efc
child 70703 edd856e6051a
tuned messages;
src/Pure/PIDE/headless.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/PIDE/headless.scala	Sun Sep 15 14:01:38 2019 +0200
+++ b/src/Pure/PIDE/headless.scala	Sun Sep 15 14:01:57 2019 +0200
@@ -319,7 +319,10 @@
         val delay_commit_clean =
           Standard_Thread.delay_first(commit_cleanup_delay max Time.zero) {
             val clean_theories = use_theories_state.change_result(_.clean_theories)
-            if (clean_theories.nonEmpty) resources.clean_theories(session, id, clean_theories)
+            if (clean_theories.nonEmpty) {
+              progress.echo("Removing " + clean_theories.length + " theories ...")
+              resources.clean_theories(session, id, clean_theories)
+            }
           }
 
         Session.Consumer[Session.Commands_Changed](getClass.getName) {
isabelle