# HG changeset patch # User wenzelm # Date 1201295086 -3600 # Node ID 21953dda56ee30744ef7556c011e4f6b916058c5 # Parent 9053fd546501d56c06d188499b15174fb83dabbc tuned; diff -r 9053fd546501 -r 21953dda56ee NEWS --- a/NEWS Fri Jan 25 22:03:29 2008 +0100 +++ b/NEWS Fri Jan 25 22:04:46 2008 +0100 @@ -86,8 +86,8 @@ *** System *** -* Default settings: PROOFGENERAL_OPTIONS no longer impose xemacs here ---- in accordance with Proof General 3.7, which prefers GNU emacs. +* Default settings: PROOFGENERAL_OPTIONS no longer impose xemacs --- +in accordance with Proof General 3.7, which prefers GNU emacs. * Multithreading.max_threads := 0 refers to the number of actual CPU cores of the underlying machine, which is a good starting point for