]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/pxp/pxp/pxp_utf8.mli
- New interface for the MathQL interpreter (1.3 version)
[helm.git] / 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  *)