| 2001-11-03 | wenzelm | GPLed; | file | diff | annotate |
| 2000-05-30 | wenzelm | cleaned up; | file | diff | annotate |
| 1999-03-11 | wenzelm | removed foo_build_completed -- now handled by session management (via usedir); | file | diff | annotate |
| 1997-12-19 | wenzelm | tuned; | file | diff | annotate |
| 1997-10-20 | wenzelm | removed Dlist; | file | diff | annotate |
| 1997-05-12 | wenzelm | removed Witness; | file | diff | annotate |
| 1997-01-31 | oheimb | added Classlib.* and Witness.*, | file | diff | annotate |
| 1996-11-27 | paulson | Uses Basis Library equivalent of cd | file | diff | annotate |
| 1996-01-30 | clasohm | expanded tabs | file | diff | annotate |
| 1995-11-21 | clasohm | removed make_chart; | file | diff | annotate |
| 1995-10-25 | clasohm | added make_chart | file | diff | annotate |
| 1995-10-06 | regensbu | added 8bit pragmas | file | diff | annotate |
| 1995-02-07 | regensbu | CVS: | file | diff | annotate |
| 1994-03-24 | nipkow | Franz fragen | file | diff | annotate |
| 1994-01-19 | nipkow | HOLCF examples | file | diff | annotate |