]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/pxp/pxp/tools/ucs2_to_utf8/README
Initial revision
[helm.git] / helm / DEVEL / pxp / pxp / tools / ucs2_to_utf8 / README
1 (******************************************************)
2 (*    Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>   *)
3 (*                   14/05/2000                       *)
4 (******************************************************)
5
6 How to compile: "make clean && make depend && make && make opt"
7
8 Usage: "cat input.mll | ./ucs2_to_utf8 > output.mll"
9  where in input.mll there are definitions of ucs2 regular expressions
10  and in output.mll there are the same utf8 regular expressions in the
11  format expected by ocamllex
12
13  See input/input.mll for an example (the definitions are taken from the
14  appendix B of the XML reccomendation) and input/example.mll for a
15  smaller one.