| Wed, 18 Aug 2010 11:18:23 +0200 | haftmann | stub for evaluation chapter | file | diff | annotate |
| Wed, 18 Aug 2010 10:07:56 +0200 | haftmann | output whitespace tuning | file | diff | annotate |
| Wed, 18 Aug 2010 09:55:00 +0200 | haftmann | use command_def vs. command more consciously | file | diff | annotate |
| Mon, 16 Aug 2010 10:32:14 +0200 | haftmann | adaptation to new outline | file | diff | annotate |
| Fri, 13 Aug 2010 14:40:15 +0200 | haftmann | sketch of new outline | file | diff | annotate |
| Thu, 15 Jul 2010 10:12:49 +0200 | haftmann | adjusted; fixed typo | file | diff | annotate |