--- a/src/Pure/General/README Wed May 12 17:58:03 1999 +0200
+++ b/src/Pure/General/README Sat May 15 16:15:54 1999 +0200
@@ -14,11 +14,11 @@
NameSpace (hierarchically structured name spaces)
Position (input positions)
Scan (generic scanner toolbox)
+ Source (co-algebraic data sources)
+ Symbol (generalized characters)
Path (abstract algebra of file paths)
+ Url (basic URL support)
File (file system operations)
Buffer (simple string buffers)
History (histories of values, with undo and redo)
- Source (co-algebraic data sources)
- Symbol (generalized characters)
Pretty (generic pretty printing module)
- Use (enhanced ML 'use' command)