Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
allow to suppress ISABELLE_SYMBOLS for experiments;
authorwenzelm
Sun, 16 Dec 2012 17:38:16 +0100
changeset 50564 c6fde2fc4217
parent 50563 3a4785d64ecb
child 50565 b00ea974613c
allow to suppress ISABELLE_SYMBOLS for experiments;
src/Pure/General/symbol.scala file | annotate | diff | comparison | revisions 
--- 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)
   {
isabelle