Warning: Kimwitu V4_1 and newer contain incompatible changes wrt Kimwitu V4_0 and older. - the print_ functions contain an additional (first) parameter (for a file pointer (or 0, for stdout) - the rewrite_ funcitons contain an additional second parameter for a (rewrite-) view. The default rewrite-view is 'base_rview'. - the 'view' type has been 'renamed' to 'uview' (short for Unparse-view), the default 'base_view' has been renamed to 'base_uview'. the '%view' keyword has been renamed to '%uview'. The old names can still be used, but you are encouraged to use the new ones. - there is an extended syntax for rewrite rules: pattern -> < view1 view2 view... : term >; and you can declare rewrite views as '%rview view1 view2 ...; See also the CHANGES file in the kc-distr source (src) directory.