1.1 --- a/NEWS	Fri Jan 25 14:54:49 2008 +0100
     1.2 +++ b/NEWS	Fri Jan 25 22:03:29 2008 +0100
     1.3 @@ -16,11 +16,12 @@
     1.4  
     1.5  *** Pure ***
     1.6  
     1.7 -* Instantiation target allows for simultaneous specification of class instance
     1.8 -operations together with an instantiation proof.  Type check phase allows to
     1.9 -refer to class operations uniformly.  See HOL/Complex/Complex.thy for an Isar
    1.10 -example and HOL/Library/Eval.thy for an ML example.
    1.11 -Superseedes some immature attempts.
    1.12 +* Instantiation target allows for simultaneous specification of class
    1.13 +instance operations together with an instantiation proof.
    1.14 +Type-checking phase allows to refer to class operations uniformly.
    1.15 +See HOL/Complex/Complex.thy for an Isar example and
    1.16 +HOL/Library/Eval.thy for an ML example.  Supersedes previous
    1.17 +experimental versions.
    1.18  
    1.19  
    1.20  *** HOL ***
    1.21 @@ -85,6 +86,9 @@
    1.22  
    1.23  *** System ***
    1.24  
    1.25 +* Default settings: PROOFGENERAL_OPTIONS no longer impose xemacs here
    1.26 +--- in accordance with Proof General 3.7, which prefers GNU emacs.
    1.27 +
    1.28  * Multithreading.max_threads := 0 refers to the number of actual CPU
    1.29  cores of the underlying machine, which is a good starting point for
    1.30  optimal performance tuning.  The corresponding usedir option -M allows

     2.1 --- a/etc/settings	Fri Jan 25 14:54:49 2008 +0100
     2.2 +++ b/etc/settings	Fri Jan 25 22:03:29 2008 +0100
     2.3 @@ -208,10 +208,7 @@
     2.4    "$ISABELLE_INTERFACE")
     2.5  
     2.6  PROOFGENERAL_OPTIONS=""
     2.7 -#PROOFGENERAL_OPTIONS="-m no_brackets -m no_type_brackets -x true -p xemacs"
     2.8 -
     2.9 -type -path xemacs >/dev/null || \
    2.10 -  PROOFGENERAL_OPTIONS="-p emacs $PROOFGENERAL_OPTIONS"
    2.11 +#PROOFGENERAL_OPTIONS="-m no_brackets -m no_type_brackets -x true -p emacs22"
    2.12  
    2.13  # Automatic setup of remote fonts
    2.14  #XSYMBOL_INSTALLFONTS="xset fp+ tcp/isafonts.informatik.tu-muenchen.de:7200"