]>
2012-03-20 | matitaweb | Matitaweb: | blob | commitdiff | raw |
2012-03-12 | matitaweb | (no commit message) | blob | commitdiff | raw | diff to current |
2011-09-06 | Wilmer Ricciotti | First attempt at svn commit of developments. | blob | commitdiff | raw | diff to current |
2011-07-20 | Wilmer Ricciotti | 1) Matitaweb now disambiguates scripts as it runs them | blob | commitdiff | raw | diff to current |
2011-06-15 | Wilmer Ricciotti | Multi-user Matita (and Matitaweb): added user authentic... | blob | commitdiff | raw | diff to current |
2011-06-10 | Wilmer Ricciotti | Multi-user matita: changed the status object to include... | 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-02-21 | Wilmer Ricciotti | fork for Matita version B | blob | commitdiff | raw | diff to current |