src/ZF/IMP/ROOT.ML
2009-11-11 wenzelm 2009-11-11 uniform use of simultabeous use_thys;
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;
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-27 lcp 1995-02-27 Added the exception handler handle _ => exit 1. This will catch all errors and force an exit with error code, causing Make to fail.
1994-07-21 nipkow 1994-07-21 Initial revision