]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/pxp/pxp/tools/ucs2_to_utf8/README
Initial revision
[helm.git] / helm / DEVEL / pxp / pxp / tools / ucs2_to_utf8 / README
diff --git a/helm/DEVEL/pxp/pxp/tools/ucs2_to_utf8/README b/helm/DEVEL/pxp/pxp/tools/ucs2_to_utf8/README
new file mode 100644 (file)
index 0000000..d02ae8c
--- /dev/null
@@ -0,0 +1,15 @@
+(******************************************************)
+(*    Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>   *)
+(*                   14/05/2000                       *)
+(******************************************************)
+
+How to compile: "make clean && make depend && make && make opt"
+
+Usage: "cat input.mll | ./ucs2_to_utf8 > output.mll"
+ where in input.mll there are definitions of ucs2 regular expressions
+ and in output.mll there are the same utf8 regular expressions in the
+ format expected by ocamllex
+
+ See input/input.mll for an example (the definitions are taken from the
+ appendix B of the XML reccomendation) and input/example.mll for a
+ smaller one.