Update manual for new time stamp format.

These instances were missed the first time around.
Problem reported by Glenn Morris in <http://bugs.gnu.org/12706#25>.
* doc/lispintro/emacs-lisp-intro.texi (Files List):
* doc/lispref/buffers.texi (Modification Time):
* doc/lispref/files.texi (Testing Accessibility, File Attributes):
* doc/lispref/intro.texi (Version Info):
* doc/lispref/os.texi (Time of Day):
* doc/misc/emacs-mime.texi (time-date): 
Update for new time stamp format (HIGH LOW MICROSEC PICOSEC).
* doc/misc/emacs-mime.texi (time-date): 
Also, fix bogus time stamp and modernize a bit.

1 files changed, 11 insertions, 0 deletions

diff --git a/doc/lispref/ChangeLog b/doc/lispref/ChangeLog
index 9142ef49b12..bed74bb688a 100644
--- a/doc/lispref/ChangeLog
+++ b/doc/lispref/ChangeLog
@@ -1,3 +1,14 @@
+2012-10-24  Paul Eggert  <eggert@penguin.cs.ucla.edu>
+
+        Update manual for new time stamp format (Bug#12706).
+        * buffers.texi (Modification Time):
+        * files.texi (Testing Accessibility, File Attributes):
+        * intro.texi (Version Info):
+        * os.texi (Time of Day):
+        Update for new time stamp format (HIGH LOW MICROSEC PICOSEC).
+        These instances were missed the first time around.
+        Problem reported by Glenn Morris in <http://bugs.gnu.org/12706#25>.
+
 2012-10-24  Chong Yidong  <cyd@gnu.org>
 
         * keymaps.texi (Toolkit Differences): Node deleted.