# HG changeset patch
# User wenzelm
# Date 1536487350 -7200
# Node ID 9199f9da512a586f5f11e051b28175572b9a6086
# Parent  eef4e983fd9d37b7e7b4c574c90babe9ebb8876b
tuned message;

diff -r eef4e983fd9d -r 9199f9da512a src/Pure/Thy/thy_resources.scala
--- a/src/Pure/Thy/thy_resources.scala	Sun Sep 09 11:53:53 2018 +0200
+++ b/src/Pure/Thy/thy_resources.scala	Sun Sep 09 12:02:30 2018 +0200
@@ -452,7 +452,6 @@
     dep_theories: List[Document.Node.Name],
     progress: Progress)
   {
-
     val loaded_theories =
       for (node_name <- dep_theories)
       yield {
@@ -465,6 +464,9 @@
         new Thy_Resources.Theory(node_name, node_header, text, true)
       }
 
+    val loaded = loaded_theories.length
+    if (loaded > 1) progress.echo("Loading " + loaded + " theories ...")
+
     state.change(st =>
       {
         val st1 = st.insert_required(id, dep_theories)