src/CCL/ex/ROOT.ML
1997-12-19 wenzelm 1997-12-19 tuned;
1996-11-27 paulson 1996-11-27 Uses Basis Library equivalent of cd
1996-01-29 clasohm 1996-01-29 expanded tabs
1995-11-21 clasohm 1995-11-21 removed make_chart; theories are now read from the current directory (because of use_dir)
1995-10-24 clasohm 1995-10-24 added calls of init_html and make_chart
1995-04-06 lcp 1995-04-06 Now sets loadpath.
1993-11-16 clasohm 1993-11-16 changed use_thy's parameter to exact theory name
1993-09-16 clasohm 1993-09-16 Initial revision