Code

[WIP] Extract code blocks by ID#303

Code

Open

rizo wants to merge 5 commits intoocaml:masterocaml/odoc:masterfrom rizo:extract-code-blocksrizo/odoc:extract-code-blocksCopy head branch name to clipboard

+263-11

Commits

Commits on Feb 12, 2019

• Extend the language to support identifiers in code blocks.

  rizo

  committed
  69925af

  Copy full SHA for 69925af

Commits on Feb 13, 2019

• Add a draft proposal for the testable examples feature.

  rizo

  committed
  5a001e0

  Copy full SHA for 5a001e0

Commits on Feb 14, 2019

• Add new requirements. Fix typos/punctuation.

  rizo

  committed
  ff3b025

  Copy full SHA for ff3b025

• Changed the proposed default for code blocks without annotation.

  rizo

  committed
  a10360f

  Copy full SHA for a10360f

• Describe hidden code blocks in the proposal and improve the CLI.

  rizo

  committed
  bb539db

  Copy full SHA for bb539db