projects / helm.git / history
| 2005-09-23 | Claudio Sacerdoti... | New module HMysql (to abstract over Mysql and make... | blob | commitdiff | raw |
| 2005-07-07 | Enrico Tassi | now tables are recreated if needed and mattiaclean... | blob | commitdiff | raw | diff to current |
| 2005-07-07 | Enrico Tassi | tables for matita.owner are created at boot | blob | commitdiff | raw | diff to current |
| 2005-07-04 | Enrico Tassi | matitaclean splitted in matitacleanLib and matitaclean. | blob | commitdiff | raw | diff to current |
| 2005-07-01 | Enrico Tassi | first snapshot of separate compilation | blob | commitdiff | raw | diff to current |
| 2005-04-27 | Stefano Zacchiroli | checked in new version of matita from svn | blob | commitdiff | raw | diff to current |
| 2005-04-27 | Stefano Zacchiroli | removed all old matita files (kept in attic) | blob | commitdiff | raw |
| 2005-02-04 | Stefano Zacchiroli | snapshot, notably: | blob | commitdiff | raw | diff to current |
| 2005-02-03 | Enrico Tassi | better owner hadling | blob | commitdiff | raw | diff to current |