helm/matita/scripts/README

   1 bench.sql
   2   the SQL code to generate the bench table
   3
   4 crontab
   5   install this crontab (may need tweaking) to have cron run the whole
   6   stuff for you
   7
   8 crontab.sh
   9   the script crontab should run (includes a "pretty" report)
  10
  11 do_tests.sh
  12   script used by ../Makefile to run matitac[.opt] on some tests. supports some
  13   options and prints out some informations neded my insert
  14
  15 insert.awk
  16   creates the SQL INSERT statements for the output of profile_cvs.sh
  17
  18 profile_cvs.sh
  19   CVS co, compilation, run
  20