| Mon, 02 Jun 2008 23:11:51 +0200 | wenzelm | moved (ax_)specification to end; | file | diff | annotate |
| Mon, 02 Jun 2008 22:50:27 +0200 | wenzelm | tuned spacing; | file | diff | annotate |
| Sat, 24 May 2008 22:04:44 +0200 | wenzelm | function: uniform treatment of target, not as config; | file | diff | annotate |