2 * ----------------------------------------------------------------------
6 open Pxp_lex_aux_iso88591
8 (* ======================================================================
12 * Revision 1.1 2000/11/17 09:57:32 lpadovan
15 * Revision 1.1 2000/05/20 20:33:25 gerd