+++ /dev/null
-(* $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.
- *
- *
- *)