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
Thu, 04 Nov 2021 12:32:42 +0100
changeset 74684 df1b9f63b2be
parent 74683 c8327efc7af1
child 74685 0ab5e35ac964
tuned messages;
src/Pure/Thy/presentation.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Thy/presentation.scala	Thu Nov 04 12:25:23 2021 +0100
+++ b/src/Pure/Thy/presentation.scala	Thu Nov 04 12:32:42 2021 +0100
@@ -444,7 +444,7 @@
               val theory = Export_Theory.read_theory(provider, session1, name.theory)
               theory.entity_iterator.toVector
             case None =>
-              progress.echo_error_message("No exports for: " + name)
+              progress.echo_warning("No theory exports for " + name)
               Vector.empty
           }
         }
isabelle