]>
2006-06-15 | Andrea Asperti | default constants are now the matita standard library... | blob | commitdiff | raw |
2006-05-16 | Enrico Tassi | few fixes | blob | commitdiff | raw | diff to current |
2006-05-13 | Enrico Tassi | more work to produce well formed .ma files | blob | commitdiff | raw | diff to current |
2006-05-13 | Enrico Tassi | fixed some pp stuff | blob | commitdiff | raw | diff to current |
2006-05-12 | Enrico Tassi | ... | blob | commitdiff | raw | diff to current |
2006-05-12 | Enrico Tassi | removed shift-reduce conflict | blob | commitdiff | raw | diff to current |
2006-05-12 | Enrico Tassi | added parser (and future converter) of tptp files | blob | commitdiff | raw | diff to current |