| 2001-11-20 | wenzelm | 2001-11-20 | moved prefixes1, suffixes1 to library.ML; | file | diff | annotate |
| 2001-10-18 | wenzelm | 2001-10-18 | added map_base; | file | diff | annotate |
| 2000-06-25 | wenzelm | 2000-06-25 | export hidden: string -> string; | file | diff | annotate |
| 2000-05-05 | wenzelm | 2000-05-05 | GPLed; | file | diff | annotate |
| 2000-04-17 | wenzelm | 2000-04-17 | improved output of ambiguous entries; support hiding; | file | diff | annotate |
| 1999-06-28 | wenzelm | 1999-06-28 | added cond_extern_table; | file | diff | annotate |
| 1999-01-13 | wenzelm | 1999-01-13 | fixed titles; | file | diff | annotate |
| 1998-10-20 | wenzelm | 1998-10-20 | Symtab.foldl; | file | diff | annotate |
| 1998-07-22 | wenzelm | 1998-07-22 | moved long_names / cond_extern to name_space.ML; | file | diff | annotate |
| 1998-06-10 | wenzelm | 1998-06-10 | moved name_space.ML to General/name_space.ML; | file | diff | annotate |