K 10 svn:author V 3 jmz K 8 svn:date V 27 1995-06-22T12:37:05.000000Z K 7 svn:log V 39 The sources are now in a separate file END