--- 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)
--- a/src/Pure/General/ROOT.ML Tue Mar 09 12:08:50 1999 +0100
+++ b/src/Pure/General/ROOT.ML Tue Mar 09 12:09:05 1999 +0100
@@ -12,6 +12,7 @@
use "position.ML";
use "path.ML";
use "file.ML";
+use "buffer.ML";
use "history.ML";
use "scan.ML";
use "source.ML";
@@ -28,6 +29,7 @@
structure Position = Position;
structure Path = Path;
structure File = File;
+ structure Buffer = Buffer;
structure History = History;
structure Scan = Scan;
structure Source = Source;