K 10 svn:author V 3 jmz K 8 svn:date V 27 1995-06-27T12:56:00.000000Z K 7 svn:log V 64 Change the distfiles names: they now contain the version number END