projects / helm.git / history
| 2012-03-12 | matitaweb | (no commit message) | blob | commitdiff | raw |
| 2011-09-21 | matitaweb | 1) removed many debug prints | blob | commitdiff | raw | diff to current |
| 2011-09-17 | Wilmer Ricciotti | Fixes a bug (introduced in the previous revision) which... | blob | commitdiff | raw | diff to current |
| 2011-09-16 | Wilmer Ricciotti | This commit patches the environment and the library... | blob | commitdiff | raw | diff to current |
| 2011-09-12 | Wilmer Ricciotti | Added debug print in NCicLibrary.serialize. | 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-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 |