Thu, 07 Feb 2013 14:05:32 +0100 | blanchet | drop needless .0s | changeset | files |
Thu, 07 Feb 2013 14:05:32 +0100 | blanchet | distinguish MeSh and smart -- with smart, allow combinations of MaSh, MeSh, and MePo in different slices -- and use MaSh also with SMT solvers, based on evaluation | changeset | files |
Thu, 07 Feb 2013 11:57:42 +0100 | traytel | infix syntax for streams (reflecting the one for lists) | changeset | files |