--- 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)