]>
2011-05-23 | Wilmer Ricciotti | Added support for hyperlinks in the goal view of the... | blob | commitdiff | raw |
2011-05-20 | Andrea Asperti | rm rendering attrs | blob | commitdiff | raw | diff to current |
2011-05-20 | Andrea Asperti | Simplified rendering | blob | commitdiff | raw | diff to current |
2011-05-19 | Wilmer Ricciotti | Added matitadaemon. | blob | commitdiff | raw | diff to current |
2011-02-21 | Wilmer Ricciotti | fork for Matita version B | blob | commitdiff | raw | diff to current |