Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 16, 2025

• Merge PR #20738: Improve "cannot define a fixpoint" error message (with elim constraints)

  Show description for 494955a
  

  coqbot-app[bot]

  and

  ppedrot

  authored
  494955a

  Copy full SHA for 494955a

Commits on Jun 13, 2025

• Merge PR #20749: End the reign of terror of README.template.rst

  Show description for 780f301
  

  coqbot-app[bot]

  and

  proux01

  authored
  780f301

  Copy full SHA for 780f301

• Merge PR #20751: Update merge-pr script

  Show description for 1a6013f
  

  coqbot-app[bot]

  and

  proux01

  authored
  1a6013f

  Copy full SHA for 1a6013f

• merge-pr multi merge check only on master

  Show description for 1641e74
  SkySkimmer

  committed
  1641e74

  Copy full SHA for 1641e74

• Renaming in merge-pr

  SkySkimmer

  committed
  8001204

  Copy full SHA for 8001204

• Merge PR #20747: Update pin-ci script

  Show description for 4e1a8c2
  

  coqbot-app[bot]

  and

  proux01

  authored
  4e1a8c2

  Copy full SHA for 4e1a8c2

Commits on Jun 12, 2025

• Merge PR #20748: Refman: add version entry for 9.1

  Show description for df54177
  

  coqbot-app[bot]

  and

  Villetaneuse

  authored
  df54177

  Copy full SHA for df54177

• Merge PR #20745: Update hidden files

  Show description for 34a9bfc
  

  coqbot-app[bot]

  and

  proux01

  authored
  34a9bfc

  Copy full SHA for 34a9bfc

• Improve "cannot define a fixpoint" error message (with elim constraints)

  Show description for ac6e253
  SkySkimmer

  committed
  ac6e253

  Copy full SHA for ac6e253

• Remove doc in coqdomain and point to README.rst

  Villetaneuse

  committed
  a357f7d

  Copy full SHA for a357f7d

• End the reign of terror of README.template.rst

  Show description for 17e4fb9
  Villetaneuse

  committed
  17e4fb9

  Copy full SHA for 17e4fb9

• Refman: add version entry for 9.1

  SkySkimmer

  committed
  1a7d060

  Copy full SHA for 1a7d060

• Update pin-ci script

  Show description for ec9cff0
  SkySkimmer

  committed
  ec9cff0

  Copy full SHA for ec9cff0

• Merge PR #20725: Update version number for 9.2+alpha

  Show description for ddd66d4
  

  coqbot-app[bot]

  and

  proux01

  authored
  ddd66d4

  Copy full SHA for ddd66d4

• Update hidden files

  Show description for c8eeeac
  SkySkimmer

  committed
  c8eeeac

  Copy full SHA for c8eeeac

Commits on Jun 11, 2025

• Merge PR #20733: Search is possible in open interactive modules

  Show description for e755695
  

  coqbot-app[bot]

  and

  SkySkimmer

  authored
  e755695

  Copy full SHA for e755695

• Merge PR #20737: Update extraction.rst

  Show description for 6df02a7
  

  coqbot-app[bot]

  and

  SkySkimmer

  authored
  6df02a7

  Copy full SHA for 6df02a7

• Merge PR #20732: Fix minor issues in refman

  Show description for 721373b
  

  coqbot-app[bot]

  and

  SkySkimmer

  authored
  721373b

  Copy full SHA for 721373b

• Merge PR #20714: Some stdlib -> corelib renaming

  Show description for db034e0
  

  coqbot-app[bot]

  and

  SkySkimmer

  authored
  db034e0

  Copy full SHA for db034e0

• Fix minor issues in refman

  ia0

  committed
  45c67da

  Copy full SHA for 45c67da

Commits on Jun 10, 2025

• Merge PR #20709: Search for "rocq doc" instead of "coqdoc" in coqdoc/main.py

  Show description for 0db752f
  

  coqbot-app[bot]

  and

  SkySkimmer

  authored
  0db752f

  Copy full SHA for 0db752f

• update refman with Search in open module

  Villetaneuse

  committed
  6d42333

  Copy full SHA for 6d42333

• Update extraction.rst

  Show description for 100c14c
  CharlesCNorton

  authored
  100c14c

  Copy full SHA for 100c14c

• Add test for search in open mod

  Villetaneuse

  committed
  993fd42

  Copy full SHA for 993fd42

• Add changelog

  Villetaneuse

  committed
  f4c4772

  Copy full SHA for f4c4772

• Register current file as an OpenMod

  Villetaneuse

  committed
  8292fab

  Copy full SHA for 8292fab

Commits on Jun 9, 2025

• Merge PR #20735: Update parallel-proof-processing.rst

  Show description for 52b1f58
  

  coqbot-app[bot]

  and

  jfehrle

  authored
  52b1f58

  Copy full SHA for 52b1f58

• Update parallel-proof-processing.rst

  Show description for 77a3dd2
  CharlesCNorton

  authored
  77a3dd2

  Copy full SHA for 77a3dd2

• Search is possible in open interactive modules

  Show description for 9016f52
  Villetaneuse

  committed
  9016f52

  Copy full SHA for 9016f52

• Merge PR #20696: nativecode don't generate forcecofix for non coinductive primproj

  Show description for eea0e40
  

  coqbot-app[bot]

  and

  ppedrot

  authored
  eea0e40

  Copy full SHA for eea0e40

Commits on Jun 8, 2025

• Merge PR #20726: Fix minor issues in refman

  Show description for b453182
  

  coqbot-app[bot]

  and

  Villetaneuse

  authored
  b453182

  Copy full SHA for b453182

• Fix minor issues in refman

  ia0

  committed
  2ca316a

  Copy full SHA for 2ca316a

• Merge PR #20715: Cleanup now that we require OCaml >= 4.14.0

  Show description for 2fe6853
  

  coqbot-app[bot]

  and

  ppedrot

  authored
  2fe6853

  Copy full SHA for 2fe6853

• Merge PR #20724: Remove mailing list announcements from release process

  Show description for 790da16
  

  coqbot-app[bot]

  and

  proux01

  authored
  790da16

  Copy full SHA for 790da16

Commits on Jun 7, 2025

• Merge PR #20601: Stricter non-ambiguousness check in Require

  Show description for 43ed79a
  

  coqbot-app[bot]

  and

  proux01

  authored
  43ed79a

  Copy full SHA for 43ed79a

Pagination

Previous

Next