X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=components%2Fsyntax_extensions%2FREADME.syntax;fp=components%2Fsyntax_extensions%2FREADME.syntax;h=eddc7f45b93618f21dd913064c77a08358ca1768;hp=0000000000000000000000000000000000000000;hb=f61af501fb4608cc4fb062a0864c774e677f0d76;hpb=58ae1809c352e71e7b5530dc41e2bfc834e1aef1

diff --git a/components/syntax_extensions/README.syntax b/components/syntax_extensions/README.syntax
new file mode 100644
index 000000000..eddc7f45b
--- /dev/null
+++ b/components/syntax_extensions/README.syntax
@@ -0,0 +1,15 @@
+
+Helm Utf8 macro syntax extension for Camlp4
+
+Sample file:
+
+  --- test.ml ---
+
+  prerr_endline <:unicode<lambda>>
+
+  ---------------
+
+Compile it with:
+
+  ocamlfind ocamlc -package helm-utf8_macros -syntax camlp5o test.ml
+