| 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 |