]> matita.cs.unibo.it Git - helm.git/blob - matita/matita/scripts/README
supplementary files for web site
[helm.git] / matita / 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 profile_svn.sh
16   SVN co, compilation, run
17