projects / helm.git / history
| 2005-07-06 | Claudio Sacerdoti... | 1. tactical "try_tacticals" renamed to "first" | blob | commitdiff | raw |
| 2005-07-04 | Claudio Sacerdoti... | "include" command implemented. | blob | commitdiff | raw | diff to current |
| 2005-07-04 | Claudio Sacerdoti... | alias declarations are now put in the .moo file. | blob | commitdiff | raw | diff to current |
| 2005-06-28 | Enrico Tassi | * new binary matitatop | blob | commitdiff | raw | diff to current |
| 2005-06-15 | Claudio Sacerdoti... | Big commit and major code clean-up: | blob | commitdiff | raw | diff to current |
| 2005-05-27 | Enrico Tassi | fixed matitac | blob | commitdiff | raw | diff to current |
| 2005-04-27 | Stefano Zacchiroli | checked in new version of matita from svn | blob | commitdiff | raw | diff to current |