allow to suppress ISABELLE_SYMBOLS for experiments;
authorwenzelm
Sun Dec 16 17:38:16 2012 +0100 (2012-12-16)
changeset 50564c6fde2fc4217
parent 50563 3a4785d64ecb
child 50565 b00ea974613c
allow to suppress ISABELLE_SYMBOLS for experiments;
src/Pure/General/symbol.scala
     1.1 --- a/src/Pure/General/symbol.scala	Sun Dec 16 14:19:08 2012 +0100
     1.2 +++ b/src/Pure/General/symbol.scala	Sun Dec 16 17:38:16 2012 +0100
     1.3 @@ -202,7 +202,7 @@
     1.4    /** symbol interpretation **/
     1.5  
     1.6    private lazy val symbols =
     1.7 -    new Interpretation(File.try_read(Path.split(Isabelle_System.getenv_strict("ISABELLE_SYMBOLS"))))
     1.8 +    new Interpretation(File.try_read(Path.split(Isabelle_System.getenv("ISABELLE_SYMBOLS"))))
     1.9  
    1.10    private class Interpretation(symbols_spec: String)
    1.11    {