# HG changeset patch # User wenzelm # Date 1355675896 -3600 # Node ID c6fde2fc421756fba44c87d54af693280bdb4c8d # Parent 3a4785d64ecbb8347312eebfa497da0a7829b646 allow to suppress ISABELLE_SYMBOLS for experiments; diff -r 3a4785d64ecb -r c6fde2fc4217 src/Pure/General/symbol.scala --- a/src/Pure/General/symbol.scala Sun Dec 16 14:19:08 2012 +0100 +++ b/src/Pure/General/symbol.scala Sun Dec 16 17:38:16 2012 +0100 @@ -202,7 +202,7 @@ /** symbol interpretation **/ private lazy val symbols = - new Interpretation(File.try_read(Path.split(Isabelle_System.getenv_strict("ISABELLE_SYMBOLS")))) + new Interpretation(File.try_read(Path.split(Isabelle_System.getenv("ISABELLE_SYMBOLS")))) private class Interpretation(symbols_spec: String) {