# HG changeset patch
# User wenzelm
# Date 1429884740 -7200
# Node ID e12973f1899e15cfc5de2a8e11463080a9d90747
# Parent  8cdd0e771d932ac8f55d30760390e985b45fe5b6
tuned message, in accordance to ML side;

diff -r 8cdd0e771d93 -r e12973f1899e src/Pure/System/isabelle_system.scala
--- a/src/Pure/System/isabelle_system.scala	Fri Apr 24 15:02:12 2015 +0200
+++ b/src/Pure/System/isabelle_system.scala	Fri Apr 24 16:12:20 2015 +0200
@@ -145,7 +145,8 @@
   def getenv_strict(name: String): String =
   {
     val value = getenv(name)
-    if (value != "") value else error("Undefined environment variable: " + name)
+    if (value != "") value
+    else error("Undefined Isabelle environment variable: " + quote(name))
   }
 
   def get_cygwin_root(): String = getenv_strict("CYGWIN_ROOT")