projects / helm.git / history
| 2012-03-12 | matitaweb | Matitaweb: | blob | commitdiff | raw |
| 2011-10-11 | Wilmer Ricciotti | Matitaweb: Fixed long-time bug with dependencies and... | blob | commitdiff | raw | diff to current |
| 2011-09-07 | Wilmer Ricciotti | Changed redirect behaviour of the daemon (incompatibili... | 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-06-07 | Wilmer Ricciotti | Matitaweb daemon ported from Ocaml Http to Ocamlnet... | blob | commitdiff | raw | diff to current |
| 2011-05-20 | Wilmer Ricciotti | Compilation fix | blob | commitdiff | raw | diff to current |
| 2011-05-19 | Wilmer Ricciotti | Added matitadaemon. | blob | commitdiff | raw | diff to current |
| 2011-02-21 | Wilmer Ricciotti | fork for Matita version B | blob | commitdiff | raw | diff to current |