Sylvain Dailler b159554ab6 (no-tn-check) Add syntax highlighting support for whyml ...

This solves a typo and add support for syntax highlighting in Whyml.

* docs/develguide/conf.py
Add the setup lines present in docs/ug/conf.py

* docs/develguide/translation_why3.rst
Put whyml code into codeblock of whyml

* docs/sphinx_support/whyml_pygments.py
Naive lexer for whyml.

Change-Id: I2be61e9f98d147198d2d679c30e9cd4295c00bf9

2018-06-15 13:31:02 +02:00

..

.gitignore

Q922-022 change version handling of SPARK doc

2017-09-28 09:46:39 +02:00

ada_pygments.py

Q614-059 Typo

2017-06-15 10:49:32 +02:00

whyml_pygments.py

(no-tn-check) Add syntax highlighting support for whyml

2018-06-15 13:31:02 +02:00