projects / helm.git / history
| 2018-04-20 | Ferruccio Guidi | decentralizing core notation continues ... | blob | commitdiff | raw |
| 2013-01-14 | Andrea Asperti | nth_current_chars | blob | commitdiff | raw | diff to current |
| 2013-01-08 | Andrea Asperti | more porting to machines that can move without writing | blob | commitdiff | raw | diff to current |
| 2013-01-08 | Wilmer Ricciotti | porting to machine that can move without writing | blob | commitdiff | raw | diff to current |
| 2012-11-16 | Wilmer Ricciotti | Match machine (multi) | blob | commitdiff | raw | diff to current |
| 2012-11-09 | Andrea Asperti | done | blob | commitdiff | raw | diff to current |
| 2012-11-07 | Andrea Asperti | New multi tapes machines | blob | commitdiff | raw | diff to current |
| 2012-05-17 | Wilmer Ricciotti | move tape right | blob | commitdiff | raw | diff to current |
| 2012-04-13 | Andrea Asperti | Definition of complexity | blob | commitdiff | raw | diff to current |
| 2012-04-04 | Andrea Asperti | Added in basics | blob | commitdiff | raw | diff to current |