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