summary |
shortlog |
changelog |
graph |
tags |
branches |
files |
changeset |
file |
revisions |
annotate |
diff |
raw

src/Pure/General/README

author | wenzelm |

Mon Jan 18 21:09:34 1999 +0100 (1999-01-18) | |

changeset 6135 | cf917037cfd4 |

parent 6116 | 8ba2f25610f7 |

child 6179 | e40b647fd6d0 |

permissions | -rw-r--r-- |

GraphFun (generic directed graphs);

Graph (graphs indexed by strings);

Graph (graphs indexed by strings);

2 Pure/General/

5 This directory contains general purpose modules, all of which are

6 exported.

8 TableFun (generic tables)

9 Symtab (tables indexed by strings)

10 GraphFun (generic directed graphs)

11 Graph (graphs indexed by strings)

12 Object (generic objects of arbitrary type)

13 Seq (unbounded sequences)

14 NameSpace (hierarchically structured name spaces)

15 Position (input positions)

16 Path (abstract algebra of file paths)

17 File (file system operations)

18 History (histories of values, with undo and redo)

19 Scan (generic scanner toolbox)

20 Source (co-algebraic data sources)

21 Symbol (generalized characters)

22 Pretty (generic pretty printing module)