]>
2005-06-30 | Enrico Tassi | matitaclean anapshot | blob | commitdiff | raw |
2005-06-23 | Enrico Tassi | Much simpler (and slightly more performant) implementat... | blob | commitdiff | raw | diff to current |
2005-06-17 | Claudio Sacerdoti... | more strings to UriManager.uri | 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-06-07 | Enrico Tassi | added coercions | blob | commitdiff | raw | diff to current |
2005-04-28 | Enrico Tassi | attached macros: hint(partial), check | 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 |