author | wenzelm |
Thu, 18 Jun 2009 15:08:57 +0200 | |
changeset 31703 | 4e6064759aeb |
parent 31702 | 1494ded298a6 |
child 31704 | b8628ac68b73 |
child 31710 | 99f08ce977f9 |
child 31906 | b41d61c768e2 |
--- a/src/Pure/System/isabelle_system.scala Thu Jun 18 15:02:53 2009 +0200 +++ b/src/Pure/System/isabelle_system.scala Thu Jun 18 15:08:57 2009 +0200 @@ -114,6 +114,8 @@ if (value != "") value else error("Undefined environment variable: " + name) } + override def toString = getenv("ISABELLE_HOME") + /* file path specifications */