(* $Id: open_pxp_lex_aux_utf8.src,v 1.1 2000/05/20 20:33:25 gerd Exp $
 * ----------------------------------------------------------------------
 *
 *)

open Pxp_lex_aux_utf8

(* ======================================================================
 * History:
 * 
 * $Log: open_pxp_lex_aux_utf8.src,v $
 * Revision 1.1  2000/05/20 20:33:25  gerd
 * 	Initial revision.
 *
 * 
 *)
