tuned;
authorwenzelm
Fri Jan 25 22:04:46 2008 +0100 (2008-01-25)
changeset 2597121953dda56ee
parent 25970 9053fd546501
child 25972 94b15338da8d
tuned;
NEWS
     1.1 --- a/NEWS	Fri Jan 25 22:03:29 2008 +0100
     1.2 +++ b/NEWS	Fri Jan 25 22:04:46 2008 +0100
     1.3 @@ -86,8 +86,8 @@
     1.4  
     1.5  *** System ***
     1.6  
     1.7 -* Default settings: PROOFGENERAL_OPTIONS no longer impose xemacs here
     1.8 ---- in accordance with Proof General 3.7, which prefers GNU emacs.
     1.9 +* Default settings: PROOFGENERAL_OPTIONS no longer impose xemacs ---
    1.10 +in accordance with Proof General 3.7, which prefers GNU emacs.
    1.11  
    1.12  * Multithreading.max_threads := 0 refers to the number of actual CPU
    1.13  cores of the underlying machine, which is a good starting point for