]>
2013-01-14 | Wilmer Ricciotti | advancement in match | blob | commitdiff | raw |
2013-01-14 | Andrea Asperti | Closed some daemons | blob | commitdiff | raw | diff to current |
2013-01-11 | Wilmer Ricciotti | match almost finished | 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-12-06 | Ferruccio Guidi | - we enabled a notation for ex2 | blob | commitdiff | raw | diff to current |
2012-11-27 | Andrea Asperti | splitting files | blob | commitdiff | raw | diff to current |