| Sun, 13 Jul 2008 20:09:47 +0100 | Remove long lines (from all but one file) | file | diff | annotate |
| Sun, 13 Jul 2008 19:51:02 +0100 | Apply unify-sources.sh to the source tree | file | diff | annotate |
| Mon, 07 Jan 2008 19:23:03 +0100 | Minor updates in the doc | file | diff | annotate |
| Mon, 07 Jan 2008 19:22:09 +0100 | Several doc files ported from svn -r3436 | file | diff | annotate |