Boris Yakobowski 9a3228eafc Merge tag '2.4.2'

2023-02-25 12:01:15 +01:00

..

_static/css

Doc-Alt-Ergo (#358)

2020-12-03 09:38:52 +01:00

About

Merge tag '2.4.2'

2023-02-25 12:01:15 +01:00

API

Fix sphinx documentation building (#440)

2021-02-10 14:40:07 +01:00

Dev

generate a PDF file for the deps (using ocamldep, ocamldot and dot)

2021-02-27 18:08:35 +01:00

Input_file_formats

Fix sphinx documentation building (#440)

2021-02-10 14:40:07 +01:00

Install

Removed the dune check and dep install from the (#493)

2022-07-17 12:02:35 +02:00

Plugins

Fix sphinx documentation building (#440)

2021-02-10 14:40:07 +01:00

Usage

Js worker (#456)

2021-03-23 12:03:45 +01:00

conf.py

Fix sphinx documentation building (#440)

2021-02-10 14:40:07 +01:00

index.rst

Fix sphinx documentation building (#440)

2021-02-10 14:40:07 +01:00

requirements.txt

Doc-Alt-Ergo (#358)

2020-12-03 09:38:52 +01:00