# 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)
   {