]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/pxp/pxp/lexers/open_pxp_lex_misc_iso88591.src
Initial revision
[helm.git] / helm / DEVEL / pxp / pxp / lexers / open_pxp_lex_misc_iso88591.src
1 (* $Id$
2  * ----------------------------------------------------------------------
3  *
4  *)
5
6 open Pxp_lex_misc_iso88591
7
8 (* ======================================================================
9  * History:
10  * 
11  * $Log$
12  * Revision 1.1  2000/11/17 09:57:32  lpadovan
13  * Initial revision
14  *
15  * Revision 1.1  2000/05/20 20:33:25  gerd
16  *      Initial revision.
17  *
18  * 
19  *)