X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2FChangeLog;h=54f85c32b0d8424f34768291510c6f069fa6f455;hb=1339492699ce7e12c9bf9fa17f9d60a66024cbd1;hp=03e18cac59045b88a7bb1e47ea11974d66785163;hpb=e35ff8ccb29404f2098e6f2fccace1c99c61b7be;p=pspp

diff --git a/doc/ChangeLog b/doc/ChangeLog
index 03e18cac59..54f85c32b0 100644
--- a/doc/ChangeLog
+++ b/doc/ChangeLog
@@ -1,3 +1,13 @@
+Sun May  1 23:20:42 2005  Ben Pfaff  <blp@gnu.org>
+
+	* language.texi: Revised lots of text to catch up with changes
+	that have been in for a long time, and for style.
+
+Sun May  1 15:17:42 WST 2005 John Darrington <john@darrington.wattle.id.au>
+
+	* configuration.texi: Removed manpage(x) style references, because 
+	RMS doesn't like them.
+
 Wed Apr 27 07:44:57 WST 2005 John Darrington <john@darrington.wattle.id.au>
 
 	* utilities.texi: Added the ECHO command.