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