1.1 --- a/etc/settings	Fri May 21 23:48:48 2010 +0200
     1.2 +++ b/etc/settings	Sat May 22 19:42:20 2010 +0200
     1.3 @@ -192,6 +192,14 @@
     1.4  
     1.5  
     1.6  ###
     1.7 +### Rendering information
     1.8 +###
     1.9 +
    1.10 +ISABELLE_FONT_FAMILY="IsabelleText"
    1.11 +ISABELLE_SYMBOLS="$ISABELLE_HOME/etc/symbols:$ISABELLE_HOME_USER/etc/symbols"
    1.12 +
    1.13 +
    1.14 +###
    1.15  ### External reasoning tools
    1.16  ###
    1.17