NEWS

--- a/NEWS	Wed Aug 18 15:40:45 1999 +0200
+++ b/NEWS	Wed Aug 18 16:04:00 1999 +0200
@@ -48,7 +48,7 @@
 reasoning); see isatool doc isar-ref and
 http://isabelle.in.tum.de/Isar/ for more information;
 
-* native support for ProofGeneral, both for classic Isabelle and
+* native support for Proof General, both for classic Isabelle and
 Isabelle/Isar (the latter is slightly better supported and more
 robust);