Code

Update sphinx doc 2.6.0#1231

Code

Merged

Halbaroth merged 2 commits intoOCamlPro:nextOCamlPro/alt-ergo:nextfrom Halbaroth:update-sphinx-doc-2.6.0Halbaroth/alt-ergo:update-sphinx-doc-2.6.0Copy head branch name to clipboardSep 5, 2024

+189-65

Commits

Commits on Aug 30, 2024

• Documentation for optimization

  Halbaroth

  committed
  b40e6b5

  Copy full SHA for b40e6b5

Commits on Sep 5, 2024

• review changes

  Halbaroth

  committed
  b3426df

  Copy full SHA for b3426df