balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
1,343 Commits 2 Branches 0 Tags 65 MiB
7429a5b21d
Commit Graph

9 Commits

Author SHA1 Message Date
Vincent Botbol
90afe58372 Fix: broken Ocsigen links 2018-04-13 17:01:37 +00:00
Benjamin Canou
5b28e08f93 Docs: fix broken link 2018-03-01 14:16:33 +01:00
Bruno B
5b70094233 Update compiler version: 4.06.0 -> 4.06.1 2018-02-26 13:35:47 +00:00
Pierre Chambart
590ddb750f Change compiler's requested version 2018-02-22 05:36:57 +01:00
Benjamin Canou
71556b9418 Update the README 
With: Arthur B <arthur.breitman@gmail.com>
 2018-02-20 22:40:43 +00:00
Benjamin Canou
ac0a685769 Docs: add doc on OPAM packages/source code architecture 2018-02-20 22:40:42 +00:00
Benjamin Canou
835a1d95bf CI: doc in branch name triggers make doc-html 2018-02-20 22:40:40 +00:00
Pierre Chambart
23be8282ef Docs: tutorial about profiling the node 2018-02-07 11:30:59 +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