Code

mention the Rocq rename#241

Code

Merged

tabareau merged 4 commits intocoq:mastercoq/coq.github.io:masterfrom gasche:mention-the-rocq-renamegasche/www:mention-the-rocq-renameCopy head branch name to clipboardJul 5, 2024

+3

Commits

Commits on Jul 4, 2024

• mention the Rocq rename

  gasche

  committed
  65e25d9

Commits on Jul 5, 2024

• new iteration after feedback from silene

  gasche

  committed
  e3974f3

• new iteration: only a 'news' item

  gasche

  committed
  5b56e15

• new iteration with more context information

  

  Zimmi48

  authored and

  gasche

  committed
  77c2994