%{ CODE HEADER
/*
 * The Termprocessor Kimwitu
 *
 * Copyright (c) 1991 University of Twente, Dept TIOS.
 * All rights reserved.
 *
 */
%}
/* This file contains the patchlevel of the manual.
 * $Id: patchlvl,v 1.5 2000/04/17 10:02:25 belinfan Rel $
 * Because we use MANUALVERSION as symbolic RCS name,
 * MANUALVERSION is *not* allowed to contain dots: we use _ instead
 * very important: the version number should be the third word
 * on the #define line (because the makefile depends on it).
 * The #define MANUALVERSION line should be the last line that contains
 * the word MANUALVERSION in this file (because the makefile depends on it).
 */
%{ KC_TYPES_HEADER
#define MANUALVERSION V10a
%}
