| Wed, 04 Mar 2009 11:05:29 +0100 | blanchet | Merge. | file | diff | annotate |
| Wed, 04 Mar 2009 10:45:52 +0100 | blanchet | Merge. | file | diff | annotate |
| Sun, 01 Mar 2009 13:48:17 +0100 | wenzelm | removed parts of the manual that are clearly obsolete, or covered by | file | diff | annotate |