src/CTT/ex/ROOT.ML
2000-05-30 wenzelm 2000-05-30 cleaned up;
1999-03-11 wenzelm 1999-03-11 removed foo_build_completed -- now handled by session management (via usedir);
1997-12-19 wenzelm 1997-12-19 tuned;
1997-03-20 wenzelm 1997-03-20 exit_use_dir;
1996-01-29 clasohm 1996-01-29 expanded tabs
1995-11-21 clasohm 1995-11-21 removed make_chart
1995-10-24 clasohm 1995-10-24 added calls of init_html and make_chart; added usage of qed
1993-09-16 clasohm 1993-09-16 Initial revision