etc/settings

--- a/etc/settings	Fri May 21 23:48:48 2010 +0200
+++ b/etc/settings	Sat May 22 19:42:20 2010 +0200
@@ -192,6 +192,14 @@
 
 
 ###
+### Rendering information
+###
+
+ISABELLE_FONT_FAMILY="IsabelleText"
+ISABELLE_SYMBOLS="$ISABELLE_HOME/etc/symbols:$ISABELLE_HOME_USER/etc/symbols"
+
+
+###
 ### External reasoning tools
 ###