- 07 Jun, 2018 1 commit
-
-
POTTIER Francois authored
-
- 04 Jun, 2018 1 commit
-
-
POTTIER Francois authored
-
- 01 Jun, 2018 1 commit
-
-
POTTIER Francois authored
-
- 31 May, 2018 5 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
This avoids a duplication of the output when [--infer-write-query] and [--infer-read-reply] are used one after the other.
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
- 30 May, 2018 3 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
New options --coq-lib-path and --coq-lib-no-path control this behavior.
-
POTTIER Francois authored
Html doc 2 See merge request !5
-
- 29 May, 2018 3 commits
-
-
Gabriel Scherer authored
-
Gabriel Scherer authored
-
Gabriel Scherer authored
-
- 28 May, 2018 6 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
- 23 May, 2018 11 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
Remove the warning that recommends setting --infer when %inline is used.
-
- 22 May, 2018 7 commits
-
-
POTTIER Francois authored
after a change in the wording of the warning: "1 production is never reduced".
-
POTTIER Francois authored
(These options are not yet implemented.)
-
POTTIER Francois authored
Documentation: document the use of ocamlbuild. The upcoming interaction with dune is not yet documented.
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
Html rendering of the manual See merge request !4
-
- 19 May, 2018 2 commits
-
-
Gabriel Scherer authored
-
Gabriel Scherer authored
-