changeset 37058 | c47653f3ec14 |
parent 36212 | ebfa4bb0d50f |
child 37062 | 2b94e2d406d9 |
--- 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 ###