]>
2016-11-24 | Ferruccio Guidi | lexer updated with the new reference syntax + | commit | commitdiff |
2013-02-07 | Andrea Asperti | restructuring | commit | commitdiff |
2013-01-29 | Wilmer Ricciotti | Proved old axiom. | commit | commitdiff |
2013-01-08 | Andrea Asperti | more porting to machines that can move without writing | commit | commitdiff |
2013-01-08 | Wilmer Ricciotti | porting to machine that can move without writing | commit | commitdiff |
2012-11-16 | Wilmer Ricciotti | Match machine (multi) | commit | commitdiff |
2012-11-13 | Wilmer Ricciotti | progress | commit | commitdiff |
2012-11-13 | Wilmer Ricciotti | progress | commit | commitdiff |
2012-11-13 | Andrea Asperti | progress | commit | commitdiff |
2012-11-12 | Andrea Asperti | inject.ma | commit | commitdiff |