1.1 --- a/etc/settings	Fri Jan 25 14:54:49 2008 +0100
     1.2 +++ b/etc/settings	Fri Jan 25 22:03:29 2008 +0100
     1.3 @@ -208,10 +208,7 @@
     1.4    "$ISABELLE_INTERFACE")
     1.5  
     1.6  PROOFGENERAL_OPTIONS=""
     1.7 -#PROOFGENERAL_OPTIONS="-m no_brackets -m no_type_brackets -x true -p xemacs"
     1.8 -
     1.9 -type -path xemacs >/dev/null || \
    1.10 -  PROOFGENERAL_OPTIONS="-p emacs $PROOFGENERAL_OPTIONS"
    1.11 +#PROOFGENERAL_OPTIONS="-m no_brackets -m no_type_brackets -x true -p emacs22"
    1.12  
    1.13  # Automatic setup of remote fonts
    1.14  #XSYMBOL_INSTALLFONTS="xset fp+ tcp/isafonts.informatik.tu-muenchen.de:7200"