Initial versio of a web site for mochy
resulting site is available in the gitlab pages associated to the project : https://adt-mochy.gitlabpages.inria.fr/mochy/
the pages are built from asciidoc files in:
website
Documentation\user_guide
Documentation\specification