projects / helm.git / history
| 2018-03-29 | Ferruccio Guidi | decentralizing core notation | blob | commitdiff | raw |
| 2012-12-07 | Ferruccio Guidi | - "re": a part of reb.ma commented out since it cannot... | blob | commitdiff | raw | diff to current |
| 2012-05-15 | Claudio Sacerdoti... | Patch by Ferruccio that enables \top/\bot for False... | blob | commitdiff | raw | diff to current |
| 2012-05-15 | Ferruccio Guidi | we added the standard notation for True and False ... | blob | commitdiff | raw | diff to current |
| 2012-05-04 | Claudio Sacerdoti... | (no commit message) | blob | commitdiff | raw | diff to current |
| 2012-04-26 | Ferruccio Guidi | - notation (possibly affecting all .ma files): | blob | commitdiff | raw | diff to current |
| 2011-12-12 | Claudio Sacerdoti... | Pairs are now records. | blob | commitdiff | raw | diff to current |
| 2011-11-21 | Andrea Asperti | regular expressions | blob | commitdiff | raw | diff to current |