]> matita.cs.unibo.it Git - helm.git/tree - helm/matita/scripts/
added some items
[helm.git] / helm / matita / scripts /
drwxr-xr-x   ..
-rw-r--r-- 511 README
-rw-r--r-- 274 bench.sql
-rw-r--r-- 81 crontab
-rw-r--r-- 1913 crontab.sh
-rwxr-xr-x 1140 do_tests.sh
-rw-r--r-- 432 insert.awk
-rwxr-xr-x 1269 profile_cvs.sh
drwxr-xr-x - public_html