| Thu, 21 Oct 2010 20:06:13 +0100 | wenzelm | more refs; | file | diff | annotate |
| Mon, 18 Oct 2010 15:35:20 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sun, 17 Oct 2010 20:25:36 +0100 | wenzelm | use continental paragraph style, which works better with mixture of (in)formal text; | file | diff | annotate |
| Thu, 14 Oct 2010 21:55:21 +0100 | wenzelm | more on "Attributes"; | file | diff | annotate |
| Mon, 11 Oct 2010 21:05:01 +0100 | wenzelm | misc tuning; | file | diff | annotate |
| Tue, 17 Aug 2010 17:01:46 +0200 | wenzelm | updated Named_Target.init; | file | diff | annotate |
| Wed, 11 Aug 2010 18:44:06 +0200 | wenzelm | Named_Target; | file | diff | annotate |