]>
2011-05-26 | Wilmer Ricciotti | Preliminary version of matitaweb handling multiple... | blob | commitdiff | raw |
2011-05-24 | Wilmer Ricciotti | matitaweb: added retract (undo) | blob | commitdiff | raw | diff to current |
2011-05-23 | Wilmer Ricciotti | Added support for hyperlinks in the goal view of the... | blob | commitdiff | raw | diff to current |
2011-05-19 | Wilmer Ricciotti | Added matitadaemon. | blob | commitdiff | raw | diff to current |