| Sun, 16 Jan 2011 15:53:03 +0100 | wenzelm | tuned headers; | file | diff | annotate |
| Sat, 17 Oct 2009 14:43:18 +0200 | wenzelm | eliminated hard tabulators, guessing at each author's individual tab-width; | file | diff | annotate |
| Fri, 17 Feb 2006 03:30:50 +0100 | obua | use monomorphic sequences / scanners | file | diff | annotate |