]>
2012-06-06 | Wilmer Ricciotti | More conjectures proved. | blob | commitdiff | raw |
2012-06-06 | Andrea Asperti | new version of move_char_l suign swap | blob | commitdiff | raw | diff to current |
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_char_l.ma | blob | commitdiff | raw | diff to current |
2012-05-17 | Wilmer Ricciotti | Added null character. | blob | commitdiff | raw | diff to current |
2012-05-07 | Wilmer Ricciotti | progress | blob | commitdiff | raw | diff to current |
2012-05-04 | Wilmer Ricciotti | Forgotten in previous commit: move_char machines. | blob | commitdiff | raw | diff to current |