| Tue, 18 Sep 2007 16:08:00 +0200 | wenzelm | simplified type int (eliminated IntInf.int, integer); | file | diff | annotate |
| Sat, 15 Sep 2007 19:27:35 +0200 | haftmann | fixed title | file | diff | annotate |
| Wed, 04 Jul 2007 17:21:02 +0200 | obua | fixed argument order in calls to Integer.pow | file | diff | annotate |
| Sat, 09 Jun 2007 00:28:46 +0200 | wenzelm | simplified type integer; | file | diff | annotate |
| Tue, 05 Jun 2007 19:19:30 +0200 | haftmann | tuned integers | file | diff | annotate |
| Mon, 14 May 2007 12:52:56 +0200 | haftmann | reorganized float arithmetic | file | diff | annotate |