projects / helm.git / history
| 2005-07-05 | Claudio Sacerdoti... | * new interface matitaTypes.mli | blob | commitdiff | raw |
| 2005-07-05 | Stefano Zacchiroli | ported to new getter interface | blob | commitdiff | raw | diff to current |
| 2005-07-04 | Claudio Sacerdoti... | "include" command implemented. | blob | commitdiff | raw | diff to current |
| 2005-07-01 | Enrico Tassi | first snapshot of separate compilation | blob | commitdiff | raw | diff to current |
| 2005-06-30 | Enrico Tassi | matitaclean anapshot | blob | commitdiff | raw | diff to current |
| 2005-06-16 | Claudio Sacerdoti... | Dead code clean-up. | blob | commitdiff | raw | diff to current |
| 2005-06-15 | Claudio Sacerdoti... | Big commit and major code clean-up: | blob | commitdiff | raw | diff to current |
| 2005-06-10 | Enrico Tassi | added records | 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 |