| 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 |
| Sun, 13 May 2007 18:15:26 +0200 | haftmann | whitespace tuned | file | diff | annotate |