1
(* $Id: open_pxp_lex_misc_utf8.src,v 1.1 2000/05/20 20:33:25 gerd Exp $
2
* ----------------------------------------------------------------------
8
(* ======================================================================
11
* $Log: open_pxp_lex_misc_utf8.src,v $
12
* Revision 1.1 2000/05/20 20:33:25 gerd