K 10 svn:author V 3 phk K 8 svn:date V 27 1996-02-05T16:06:55.000000Z K 7 svn:log V 174 Add support for local modifications to the tree, by using FOO.ctm instead of FOO if present. Various other tweaks. Submitted by: Christian Haury END