projects / helm.git / history
| 2009-06-03 | Ferruccio Guidi | - boxPp: added missing spaces | blob | commitdiff | raw |
| 2009-04-15 | Ferruccio Guidi | - transcript: bugfix | blob | commitdiff | raw | diff to current |
| 2008-06-19 | Enrico Tassi | notation on steroids: 'term 40 x' is a valid variable... | blob | commitdiff | raw | diff to current |
| 2008-02-18 | Andrea Asperti | Complete proof of Bertrand for n >= 256. | blob | commitdiff | raw | diff to current |
| 2007-05-24 | Enrico Tassi | auto and autogui... some work | blob | commitdiff | raw | diff to current |
| 2006-12-18 | Andrea Asperti | Proof of Euler theorem. | blob | commitdiff | raw | diff to current |
| 2006-06-14 | Stefano Zacchiroli | fixed bad spellend "stantard" | blob | commitdiff | raw | diff to current |
| 2006-02-23 | Claudio Sacerdoti... | 64 "change" here and there in the library are now simpl... | blob | commitdiff | raw | diff to current |
| 2006-02-03 | Stefano Zacchiroli | - renamed ocaml/ to components/ | blob | commitdiff | raw | diff to current |