projects / helm.git / history
| 2014-01-26 | Andrea Asperti | more auxiliary machines | tree | commitdiff |
| 2013-10-25 | Andrea Asperti | full.ma | tree | commitdiff |
| 2013-10-24 | Andrea Asperti | step (almost) done | tree | commitdiff |
| 2013-10-24 | Andrea Asperti | The step machine (draft) | tree | commitdiff |
| 2013-10-24 | Andrea Asperti | many changes | tree | commitdiff |
| 2013-10-19 | Andrea Asperti | Slowly porting to an enriched tape alphabet | tree | commitdiff |
| 2013-10-18 | Andrea Asperti | The moves (almost) | tree | commitdiff |
| 2013-10-15 | Andrea Asperti | renaming files | tree | commitdiff |
| 2013-10-14 | Andrea Asperti | almost there | tree | commitdiff |
| 2013-10-12 | Andrea Asperti | Still a problem to be fixed: after reaching the border... | tree | commitdiff |
| 2013-10-12 | Andrea Asperti | shift a trace from an extremity | tree | commitdiff |
| 2013-10-12 | Andrea Asperti | splitting files | tree | commitdiff |
| 2013-10-12 | Andrea Asperti | Moved multi_to_mono.ma inside multi_to_mono | tree | commitdiff |