balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
2,635 Commits 2 Branches 0 Tags 65 MiB
3c1601d9a0
Commit Graph

54 Commits

Author SHA1 Message Date
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
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