]> matita.cs.unibo.it Git - helm.git/history - matita/scripts/crontab.sh
...
[helm.git] / matita / scripts / crontab.sh
2006-11-17 Claudio Sacerdoti... Fixed the infamous bug:
2006-09-23 Enrico Tassilast fix.
2006-09-23 Enrico Tassiusing lua5.1 instead of lua50
2006-09-23 Enrico Tassifixed script to make csc happy
2006-09-13 Enrico Tassisome fixes to the "test notturni"
2006-03-23 Enrico Tassifix
2006-03-16 Enrico Tassiremoved php-shell scripts
2006-02-15 Enrico Tassiadded support for "polymorphic" coercions
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/