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 Object (generic objects of arbitrary type) |
|
11 Seq (unbounded sequences) |
|
12 NameSpace (hierarchically structured name spaces) |
|
13 Position (input positions) |
|
14 Path (abstract algebra of file paths) |
|
15 File (file system operations) |
|
16 History (histories of values, with undo and redo) |
|
17 Scan (generic scanner toolbox) |
|
18 Source (co-algebraic data sources) |
|
19 Symbol (generalized characters) |
|
20 Pretty (generic pretty printing module) |