src/Pure/General/README

--- a/src/Pure/General/README	Tue Mar 09 12:08:50 1999 +0100
+++ b/src/Pure/General/README	Tue Mar 09 12:09:05 1999 +0100
@@ -15,6 +15,7 @@
   Position      (input positions)
   Path          (abstract algebra of file paths)
   File          (file system operations)
+  Buffer	(simple string buffers)
   History       (histories of values, with undo and redo)
   Scan          (generic scanner toolbox)
   Source        (co-algebraic data sources)