src/FOLP/Makefile
1996-02-10 clasohm 1996-02-10 make_html now only remains set if MAKE_HTML=true
1995-11-21 clasohm 1995-11-21 main directory is now read by exit_use_dir, too; removed make_chart from ROOT.ML
1995-11-21 clasohm 1995-11-21 replaced exit_use by exit_use_dir for subdirectories
1995-10-24 clasohm 1995-10-24 added calls of init_html and make_chart
1995-04-06 lcp 1995-04-06 Corrected many errors in the dependencies.
1995-03-15 lcp 1995-03-15 Now calls exit_use instead of use, for prompt failure if errors are detected.
1994-07-12 lcp 1994-07-12 Improved error checking
1994-04-22 clasohm 1994-04-22 renamed theory files
1993-11-09 lcp 1993-11-09 Target "test" now depends on examples files
1993-11-09 clasohm 1993-11-09 renamed int-prover.ML to intprover.ML, used exact theory names for use_thy
1993-09-16 clasohm 1993-09-16 Initial revision