| Wed, 01 Jun 2016 21:24:51 +0200 | wenzelm | more documentation; | changeset | files |
| Wed, 01 Jun 2016 20:59:16 +0200 | wenzelm | updated to jdk-8u92; | changeset | files |
| 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 |