projects / helm.git / history
| 2012-03-20 | matitaweb | Matitaweb: | tree | commitdiff |
| 2012-03-12 | matitaweb | (no commit message) | tree | commitdiff |
| 2011-12-14 | Wilmer Ricciotti | Matitaweb: large commit porting to the new Matita 0... | tree | commitdiff |
| 2011-11-09 | Wilmer Ricciotti | Matitaweb: | tree | commitdiff |
| 2011-10-20 | Andrea Asperti | 1. ported to camlp5 | tree | commitdiff |
| 2011-10-17 | Enrico Tassi | compact coercion command: "coercion foo." | tree | commitdiff |
| 2011-10-11 | Wilmer Ricciotti | Matitaweb: Fixed long-time bug with dependencies and... | tree | commitdiff |
| 2011-06-10 | Wilmer Ricciotti | Multi-user matita: changed the status object to include... | tree | commitdiff |
| 2011-05-20 | Wilmer Ricciotti | Compilation fix | tree | commitdiff |
| 2011-05-13 | Wilmer Ricciotti | interim version (added smallLexer) | 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 |