Code

Coq master update#102

Code

Merged

jim-portegies merged 12 commits intocoq-masterimpermeable/coq-waterproof:coq-masterfrom coq-master-updateimpermeable/coq-waterproof:coq-master-updateCopy head branch name to clipboardJan 8, 2025

+5,345-1,948

Commits

Commits on Jan 6, 2025

• Merge branch 8.18 into 8.19-update

  jim-portegies

  committed
  ede99d9

• Fix deprecation warning

  jim-portegies

  committed
  1bf22c9

• Remove commented code

  pimotte

  committed
  91aab00

• Merge pull request #101 from impermeable/8.19-update

  Show description for 4a6866a
  pimotte

  authored
  4a6866a

• Merge branch '8.19' into 8.20

  jim-portegies

  committed
  26faad7

• Fix version number in META.coq-waterproof

  jim-portegies

  committed
  af0e77f

• Fix make build

  jim-portegies

  committed
  0c6b7a4

• Merge branch '8.20' into coq-master

  jim-portegies

  committed
  7a3b8a7

Commits on Jan 7, 2025

• Try to fix nr of arguments in Message constructor

  jim-portegies

  committed
  8ba1b8b

• Fix nr of arguments in another place

  jim-portegies

  committed
  93ba744

• Try rename coq-core.plugins to rocq-runtime.plugins...

  jim-portegies

  committed
  188491a

• Fix package name in META file

  jim-portegies

  committed
  7946393