5 Commits

Author	SHA1	Message	Date
Raphaël Proust	771f937792	Doc: typo fixes ... Note: this is only fixing typos highlighted by a spellchecker. More typos and errors probably still lurk.	2018-05-10 12:46:16 +08:00
Jonathan	92ee761451	Doc: fixed typo s/developper/developer/	2018-04-18 14:21:42 +02:00
Benjamin Canou	ac0a685769	Docs: add doc on OPAM packages/source code architecture	2018-02-20 22:40:42 +00:00
Benjamin Canou	4820aa6098	Docs: document the validator structure	2018-02-12 03:04:40 +01:00
Benjamin Canou	adf860ea40	Docs: new documentation structure using Sphinx/RST ... - Provides a toplevel documentation structure using Sphinx - Adds a `doc-html` target to the main Makefile - Converts existing documentation to RST format - Add some new documentation / tutorials - Links the developer manual and OCaml documentation - Synchronized documentation on Gitlab pages This patch is co-authored by: - Benjamin Canou <benjamin@canou.fr> - Bruno Bernardo <bernardobruno@gmail.com> - Pietro Abate <pietro.abate@inria.fr>	2018-01-23 08:02:17 +01:00