]>
2011-05-23 | Wilmer Ricciotti | Added support for hyperlinks in the goal view of the... | tree | commitdiff |
2011-05-23 | Wilmer Ricciotti | ... | tree | commitdiff |
2011-05-20 | Andrea Asperti | want_indent bug fixed | tree | commitdiff |
2011-05-20 | Andrea Asperti | readded function box_of | tree | commitdiff |
2011-05-20 | Wilmer Ricciotti | Compilation fix | tree | commitdiff |
2011-05-20 | Andrea Asperti | rm rendering attrs | tree | commitdiff |
2011-05-20 | Andrea Asperti | Removed mathml and proof rendering. | tree | commitdiff |
2011-05-20 | Andrea Asperti | Simplified rendering | tree | commitdiff |
2011-05-19 | Wilmer Ricciotti | Added matitadaemon. | tree | commitdiff |
2011-05-13 | Wilmer Ricciotti | interim version (added smallLexer) | tree | commitdiff |
2011-03-30 | Wilmer Ricciotti | Keeping track of locations of disambiguated ids and... | tree | commitdiff |
2011-03-08 | Wilmer Ricciotti | First commit with new (incomplete) disambiguation engine. | tree | commitdiff |
2011-02-21 | Wilmer Ricciotti | fork for Matita version B | tree | commitdiff |