]>
2011-05-24 | Wilmer Ricciotti | Fixed box pretty printing. | commit | commitdiff |
2011-05-24 | Wilmer Ricciotti | matitaweb: added retract (undo) | commit | commitdiff |
2011-05-23 | Wilmer Ricciotti | Added support for hyperlinks in the goal view of the... | commit | commitdiff |
2011-05-20 | Andrea Asperti | want_indent bug fixed | commit | commitdiff |
2011-05-20 | Wilmer Ricciotti | Compilation fix | commit | commitdiff |
2011-05-20 | Andrea Asperti | Simplified rendering | commit | commitdiff |
2011-02-21 | Wilmer Ricciotti | fork for Matita version B | commit | commitdiff |