]>
2011-06-10 | Wilmer Ricciotti | Multi-user matita: changed the status object to include... | 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 |