# HG changeset patch
# User wenzelm
# Date 1537214771 -7200
# Node ID 4861973145e8ff7f2693dd42522738df28c3a901
# Parent  d55783ea6cf6fc0aa6a874626ccfad46c13f4c7b
tuned message;

diff -r d55783ea6cf6 -r 4861973145e8 src/Pure/Thy/sessions.scala
--- 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
           }