]> matita.cs.unibo.it Git - helm.git/blob - helm/matita/scripts/README
All the equalityTactics have now been ported to use both the equality of
[helm.git] / 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