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 message;
authorwenzelm
Mon, 17 Sep 2018 22:06:11 +0200
changeset 69009 4861973145e8
parent 69008 d55783ea6cf6
child 69010 b6aad6338488
tuned message;
src/Pure/Thy/sessions.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Thy/sessions.scala	Mon Sep 17 21:50:14 2018 +0200
+++ b/src/Pure/Thy/sessions.scala	Mon Sep 17 22:06:11 2018 +0200
@@ -206,7 +206,7 @@
               filter(cond => Isabelle_System.getenv(cond) == "")
           if (conditions.isEmpty) true
           else {
-            progress.echo(
+            progress.warning(
               "Skipping theory " + name + "  (condition " + conditions.mkString(" ") + ")")
             false
           }
isabelle