helm/DEVEL/pxp/pxp/pxp_utf8.mli

   1 (* $Id$
   2  * ----------------------------------------------------------------------
   3  *
   4  *)
   5
   6 (* This is a module without interface. Its initialization part sets up
   7  * the UTF-8 lexers.
   8  * Link with this module if you want to use the UTF-8 lexers!
   9  *)
  10
  11 (* ======================================================================
  12  * History:
  13  *
  14  * $Log$
  15  * Revision 1.1  2000/11/17 09:57:29  lpadovan
  16  * Initial revision
  17  *
  18  * Revision 1.1  2000/05/23 00:08:48  gerd
  19  *      Initial revision.
  20  *
  21  *
  22  *)