complete intro part in user manual + traduction in french of intro in slides
Merge branch 'master' of https://github.com/ptal/nominal-workbench
modifs in intro
Merge branch 'master' of https://github.com/ptal/nominal-workbench
Merge branch 'master' of https://github.com/ptal/nominal-workbench
fix asts.dot
Add question image.
Merge branch 'master' of https://github.com/ptal/nominal-workbench
presentation, language part
fixes user manual
Add introduction in the developer manual.
AST transformation part
Dev manual architecture part
Add pattern matching developper documentation.
Merge
Update pattern matching dev-manual section, remove wrong statments.
màj toplevel dev-manual
A first version of strategies in the dev manual
transformations dev-manual
type-checking intro in dev-man