]>
2005-07-01 | Enrico Tassi | first snapshot of separate compilation | blob | commitdiff | raw |
2005-06-30 | Enrico Tassi | matitaclean anapshot | blob | commitdiff | raw | diff to current |
2005-06-30 | Enrico Tassi | first matitadep snapshot | blob | commitdiff | raw | diff to current |
2005-06-29 | Claudio Sacerdoti... | A few bug fixes. In particular parsing errors in matita... | blob | commitdiff | raw | diff to current |
2005-06-29 | Enrico Tassi | now baseuri is needed in each file (and its redefinitio... | blob | commitdiff | raw | diff to current |
2005-06-29 | Claudio Sacerdoti... | Informative message corrected: MatitacLib.go () is... | blob | commitdiff | raw | diff to current |
2005-06-28 | Enrico Tassi | better message | blob | commitdiff | raw | diff to current |
2005-06-28 | Claudio Sacerdoti... | In case of EOI the "go ()" loop must exit! | blob | commitdiff | raw | diff to current |
2005-06-28 | Enrico Tassi | * new binary matitatop | blob | commitdiff | raw | diff to current |