Wed, 01 Jun 2016 19:54:31 +0200 merged
wenzelm [Wed, 01 Jun 2016 19:54:31 +0200] rev 63213
merged
Wed, 01 Jun 2016 19:54:26 +0200 NEWS;
wenzelm [Wed, 01 Jun 2016 19:54:26 +0200] rev 63212
NEWS;
Wed, 01 Jun 2016 19:23:18 +0200 more adhoc overloading;
wenzelm [Wed, 01 Jun 2016 19:23:18 +0200] rev 63211
more adhoc overloading; eliminated pointless Rat.eq: this is an equality type; tuned;
Wed, 01 Jun 2016 17:46:12 +0200 clarified exception -- actually reject denominator = 0;
wenzelm [Wed, 01 Jun 2016 17:46:12 +0200] rev 63210
clarified exception -- actually reject denominator = 0;
Wed, 01 Jun 2016 16:02:02 +0200 ML pp for Rat.rat;
wenzelm [Wed, 01 Jun 2016 16:02:02 +0200] rev 63209
ML pp for Rat.rat;
Wed, 01 Jun 2016 15:33:45 +0200 clarified string_of_rat operations;
wenzelm [Wed, 01 Jun 2016 15:33:45 +0200] rev 63208
clarified string_of_rat operations;
Wed, 01 Jun 2016 15:19:44 +0200 tuned signature;
wenzelm [Wed, 01 Jun 2016 15:19:44 +0200] rev 63207
tuned signature;
Wed, 01 Jun 2016 15:17:29 +0200 clarified signature;
wenzelm [Wed, 01 Jun 2016 15:17:29 +0200] rev 63206
clarified signature;
Wed, 01 Jun 2016 15:10:27 +0200 prefer rat numberals;
wenzelm [Wed, 01 Jun 2016 15:10:27 +0200] rev 63205
prefer rat numberals;
Wed, 01 Jun 2016 15:01:43 +0200 support rat numerals via special antiquotation syntax;
wenzelm [Wed, 01 Jun 2016 15:01:43 +0200] rev 63204
support rat numerals via special antiquotation syntax;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip