mv README.txt README.md

README.md

+(* OASIS_START *)
+(* DO NOT EDIT (digest: 7018be8ddc148ce8fff24df3fef8d341) *)
+
+lustre-v6 - The Lustre V6 Verimag compiler
+==========================================
+
+This package contains: (1) lus2lic: the (current) name of the compiler (and
+interpreter via -exec). (2) the lustre-v6 ocaml lib: allows to call the
+Lustre v6 interpreter ocaml
+
+See the file [INSTALL.txt](INSTALL.txt) for building and installation
+instructions.
+
+[Home page](http://www-verimag.imag.fr/lustre-v6.html)
+
+Copyright and license
+---------------------
+
+lustre-v6 is distributed under the terms of the Proprietary license, all
+rights reserved.
+
+(* OASIS_STOP *)