etc/settings

--- a/etc/settings	Tue Dec 29 16:23:34 2015 +0100
+++ b/etc/settings	Tue Dec 29 17:36:18 2015 +0100
@@ -121,10 +121,11 @@
 
 
 ###
-### Rendering information
+### Symbol rendering and abbreviations
 ###
 
 ISABELLE_SYMBOLS="$ISABELLE_HOME/etc/symbols:$ISABELLE_HOME_USER/etc/symbols"
+ISABELLE_ABBREVS="$ISABELLE_HOME/etc/abbrevs:$ISABELLE_HOME_USER/etc/abbrevs"
 
 
 ###