]>
2011-09-21 | matitaweb | 1) removed many debug prints | blob | commitdiff | raw |
2011-06-10 | Wilmer Ricciotti | Multi-user matita: changed the status object to include... | 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-23 | Wilmer Ricciotti | ... | blob | commitdiff | raw | diff to current |
2011-05-20 | Wilmer Ricciotti | Compilation fix | blob | commitdiff | raw | diff to current |
2011-05-13 | Wilmer Ricciotti | interim version (added smallLexer) | blob | commitdiff | raw | diff to current |
2011-03-30 | Wilmer Ricciotti | Keeping track of locations of disambiguated ids and... | blob | commitdiff | raw | diff to current |
2011-03-08 | Wilmer Ricciotti | First commit with new (incomplete) disambiguation engine. | blob | commitdiff | raw | diff to current |
2011-02-21 | Wilmer Ricciotti | fork for Matita version B | blob | commitdiff | raw | diff to current |