]>
2012-06-06 | Wilmer Ricciotti | More conjectures proved. | blob | commitdiff | raw |
2012-06-06 | Andrea Asperti | swap machine; move_char revisited | blob | commitdiff | raw | diff to current |
2012-06-06 | Andrea Asperti | Restructuring | blob | commitdiff | raw | diff to current |
2012-05-28 | Andrea Asperti | porting move_tape.ma | blob | commitdiff | raw | diff to current |
2012-05-28 | Andrea Asperti | porting of move_char_c | blob | commitdiff | raw | diff to current |
2012-05-24 | Wilmer Ricciotti | Progress | blob | commitdiff | raw | diff to current |
2012-05-23 | Wilmer Ricciotti | Progress | blob | commitdiff | raw | diff to current |
2012-05-23 | Wilmer Ricciotti | Progress | blob | commitdiff | raw | diff to current |
2012-05-22 | Wilmer Ricciotti | Progress | blob | commitdiff | raw | diff to current |
2012-05-22 | Wilmer Ricciotti | Progress | blob | commitdiff | raw | diff to current |
2012-05-21 | Wilmer Ricciotti | Added move_tape.ma | blob | commitdiff | raw | diff to current |