| changeset 31703 | 4e6064759aeb |
| parent 31520 | 0a99c8716312 |
| child 31704 | b8628ac68b73 |
--- 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 */