(* $Id$ * ---------------------------------------------------------------------- * *) (* This is a module without interface. Its initialization part sets up * the UTF-8 lexers. * Link with this module if you want to use the UTF-8 lexers! *) (* ====================================================================== * History: * * $Log$ * Revision 1.1 2000/11/17 09:57:29 lpadovan * Initial revision * * Revision 1.1 2000/05/23 00:08:48 gerd * Initial revision. * * *)