Fri, 27 Jun 2014 15:24:56 +0200 | wenzelm | minor renovation of slightly odd and old README; | file | diff | annotate |
Tue, 22 Mar 2011 18:27:47 +0100 | blanchet | remove lie from documentation | file | diff | annotate |
Thu, 09 Jul 2009 22:13:19 +0200 | wenzelm | removed obsolete CVS Ids; | file | diff | annotate |