| Wed, 01 Jun 2016 19:54:31 +0200 | wenzelm | merged | changeset | files |
| Wed, 01 Jun 2016 19:54:26 +0200 | wenzelm | NEWS; | changeset | files |
| Wed, 01 Jun 2016 19:23:18 +0200 | wenzelm | more adhoc overloading; | changeset | files |
| Wed, 01 Jun 2016 17:46:12 +0200 | wenzelm | clarified exception -- actually reject denominator = 0; | changeset | files |
| Wed, 01 Jun 2016 16:02:02 +0200 | wenzelm | ML pp for Rat.rat; | changeset | files |
| Wed, 01 Jun 2016 15:33:45 +0200 | wenzelm | clarified string_of_rat operations; | changeset | files |
| Wed, 01 Jun 2016 15:19:44 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 01 Jun 2016 15:17:29 +0200 | wenzelm | clarified signature; | changeset | files |
| Wed, 01 Jun 2016 15:10:27 +0200 | wenzelm | prefer rat numberals; | changeset | files |
| Wed, 01 Jun 2016 15:01:43 +0200 | wenzelm | support rat numerals via special antiquotation syntax; | changeset | files |
| Wed, 01 Jun 2016 10:59:57 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 01 Jun 2016 10:55:10 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 01 Jun 2016 10:45:35 +0200 | wenzelm | tuned signature; | changeset | files |
| Tue, 31 May 2016 23:06:03 +0200 | wenzelm | maintain invariant for exported operation; | changeset | files |
| Tue, 31 May 2016 22:39:28 +0200 | wenzelm | prefer more efficient Poly/ML operations, taking care of sign; | changeset | files |
| Tue, 31 May 2016 21:54:10 +0200 | wenzelm | ad-hoc overloading for standard operations on type Rat.rat; | changeset | files |