| Thu, 16 Oct 2008 08:51:05 +0200 | haftmann | correct rounding | file | diff | annotate |
| Thu, 16 Oct 2008 08:48:27 +0200 | haftmann | circumvent some TeX problem | file | diff | annotate |
| Wed, 15 Oct 2008 16:25:31 +0200 | haftmann | figure for adaption | file | diff | annotate |