Code

Switch to Furo theme#1220

Code

Closed

Halbaroth wants to merge 8 commits intoOCamlPro:nextOCamlPro/alt-ergo:nextfrom Halbaroth:use-furo-sphinx-themeHalbaroth/alt-ergo:use-furo-sphinx-themeCopy head branch name to clipboard

+69-58

Commits

Commits on Aug 26, 2024

• Switch to Furo theme

  Show description for 2ddd1bf
  Halbaroth

  committed
  2ddd1bf

• remove unsupported option

  Halbaroth

  committed
  eac579d

• Remove sphinx-markdown-tables

  Show description for dff67b9
  Halbaroth

  committed
  dff67b9

• fix toc title

  Halbaroth

  committed
  f3c73b6

• fix shell commands

  Halbaroth

  committed
  f7f94a2

• fix Alt-Ergo parser

  Halbaroth

  committed
  ee04479

• restore links in usage

  Halbaroth

  committed
  8508f37

• review changes

  Halbaroth

  committed
  a12b034