src/ZF/Coind/ROOT.ML
1996-01-30 clasohm 1996-01-30 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-03-15 lcp 1995-03-15 Removed exception handlers, as they are now in ZF/Makefile.
1995-02-28 lcp 1995-02-28 New example by Jacob Frost, tidied by lcp