10 Commits

Author	SHA1	Message	Date
Benjamin Canou	138407d33a	Docs: s/net/chain/ in validation drawing	2018-02-20 22:40:40 +00:00
Grégoire Henry	6fa1283240	Shell: Rename net_id into chain_id	2018-02-16 02:57:25 +01:00
Benjamin Canou	4820aa6098	Docs: document the validator structure	2018-02-12 03:04:40 +01:00
bruno	0241ccd8b0	Docs: Michelson: fix typos	2018-02-07 12:44:33 +01:00
Milo Davis	c108b0cfd8	Michelson: document big maps	2018-02-06 17:04:49 +01:00
Bruno Bernardo	ec86dea35f	Docs: various small fixes in Michelson spec	2018-02-06 16:32:39 +01:00
Bruno Bernardo	518a07d5e4	Docs: add missing semantics for some Michelson instructions ... Co-authored with: Benjamin Canou <benjamin@canou.fr>	2018-02-06 16:32:34 +01:00
Benjamin Canou	3d0ec5deb4	Michelson: remove instruction MAP on sets	2018-02-06 16:32:30 +01:00
Arthur B	5823c0e6f7	PoS doc	2018-01-26 17:13:33 +00: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