| Sat, 27 Feb 2016 16:37:47 +0100 | wenzelm | more operations (like Markup.parse_bool in ML); | changeset | files |
| Sat, 27 Feb 2016 16:37:06 +0100 | wenzelm | tuned messages; | changeset | files |
| Sat, 27 Feb 2016 16:19:02 +0100 | wenzelm | support for command-line options as in GNU bash; | changeset | files |
| Fri, 26 Feb 2016 22:44:11 +0100 | haftmann | more succint formulation of membership for multisets, similar to lists; | changeset | files |
| Fri, 26 Feb 2016 22:15:09 +0100 | Manuel Eberl | Tuned Euclidean Rings/GCD rings | changeset | files |
| Fri, 26 Feb 2016 18:33:01 +0100 | Manuel Eberl | Fixed code equations for Gcd/Lcm | changeset | files |
| Fri, 26 Feb 2016 15:49:35 +0100 | blanchet | generalized ML function | changeset | files |
| Fri, 26 Feb 2016 15:00:47 +0100 | eberlm | Merged | changeset | files |
| Fri, 26 Feb 2016 14:58:07 +0100 | eberlm | Tuned Euclidean Ring instance for polynomials | changeset | files |
| Fri, 26 Feb 2016 11:57:36 +0100 | eberlm | Merged | changeset | files |
| Thu, 25 Feb 2016 16:54:24 +0100 | eberlm | Merged | changeset | files |
| Thu, 25 Feb 2016 16:44:53 +0100 | eberlm | Tuned Euclidean rings | changeset | files |