]>
2015-06-22 | Ferruccio Guidi | command line options rearranged | blob | commitdiff | raw |
2015-06-19 | Ferruccio Guidi | new options activated | blob | commitdiff | raw | diff to current |
2015-06-10 | Ferruccio Guidi | - siimplifified RTM (one register less) now counts... | blob | commitdiff | raw | diff to current |
2015-06-08 | Ferruccio Guidi | exportation to \lambda\delta representation in elpi | blob | commitdiff | raw | diff to current |