equal
deleted
inserted
replaced
1 |
|
2 Pure/General/ |
|
3 |
|
4 |
|
5 This directory contains general purpose modules, all of which are |
|
6 exported. |
|
7 |
|
8 TableFun (generic tables) |
|
9 Symtab (tables indexed by strings) |
|
10 GraphFun (generic directed graphs) |
|
11 Graph (graphs indexed by strings) |
|
12 HeapFun (heaps over linearly ordered types) |
|
13 Object (generic objects of arbitrary type) |
|
14 Seq (unbounded sequences) |
|
15 NameSpace (hierarchically structured name spaces) |
|
16 Position (input positions) |
|
17 Scan (generic scanner toolbox) |
|
18 Source (co-algebraic data sources) |
|
19 Symbol (generalized characters) |
|
20 Path (abstract algebra of file paths) |
|
21 Url (basic URL support) |
|
22 File (file system operations) |
|
23 Buffer (simple string buffers) |
|
24 History (histories of values, with undo and redo) |
|
25 Pretty (generic pretty printing module) |
|