| 1999-05-28 | wenzelm | tuned manual.bib; | file | diff | annotate |
| 1999-05-18 | paulson | added Locale paper | file | diff | annotate |
| 1999-05-10 | wenzelm | tuned; | file | diff | annotate |
| 1999-05-10 | wenzelm | axclass; | file | diff | annotate |
| 1999-05-10 | wenzelm | fixed URLs; | file | diff | annotate |
| 1999-05-07 | paulson | new refererences for Inductive manual, but still incomplete | file | diff | annotate |
| 1999-05-06 | nipkow | More refs. | file | diff | annotate |
| 1999-05-05 | paulson | Now uses manual.bib; some references updated | file | diff | annotate |