Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 4, 2024

• Merge PR #19878: Document Hint Variables/Constants Opaque/Transparent : rewrite

  Show description for dc9e3df
  

  coqbot-app[bot]

  and

  jfehrle

  authored
  dc9e3df

  Copy full SHA for dc9e3df

Commits on Dec 3, 2024

• Merge PR #19897: Windows CI use `ci` pick

  Show description for 0e0f4ab
  

  coqbot-app[bot]

  and

  MSoegtropIMC

  authored
  0e0f4ab

  Copy full SHA for 0e0f4ab

• Merge PR #19820: Remove "stdlib2" from CI

  Show description for 5997073
  

  coqbot-app[bot]

  and

  proux01

  authored
  5997073

  Copy full SHA for 5997073

• Windows CI use `ci` pick

  SkySkimmer

  committed
  eaee404

  Copy full SHA for eaee404

• Merge PR #19889: Fix incorrect path normalization in coqdep on `//..`

  Show description for 7870106
  

  coqbot-app[bot]

  and

  proux01

  authored
  7870106

  Copy full SHA for 7870106

• Merge PR #19892: SSR: Fix ustate when calling abs_cterm

  Show description for 7b3bca4
  

  coqbot-app[bot]

  and

  proux01

  authored
  7b3bca4

  Copy full SHA for 7b3bca4

• Merge PR #19840: Delay import of notation sets in Notationextern.

  Show description for 0c20a18
  

  coqbot-app[bot]

  and

  SkySkimmer

  authored
  0c20a18

  Copy full SHA for 0c20a18

Commits on Dec 2, 2024

• Document Hint Variables/Constants Opaque/Transparent : rewrite

  Show description for 94277cc
  

  andres-erbsen

  and

  jfehrle

  committed
  94277cc

  Copy full SHA for 94277cc

• Merge PR #19888: [ci] use elpi 2.0.4

  Show description for 9f65bd2
  

  coqbot-app[bot]

  and

  SkySkimmer

  authored
  9f65bd2

  Copy full SHA for 9f65bd2

• SSR: Fix ustate when calling abs_cterm

  Show description for 84c6162
  SkySkimmer

  committed
  84c6162

  Copy full SHA for 84c6162

• Fix incorrect path normalization in coqdep on `//..`

  Show description for 57102a2
  SkySkimmer

  committed
  57102a2

  Copy full SHA for 57102a2

• Merge PR #19812: Update CODE_OF_CONDUCT.md

  Show description for beb35a7
  

  coqbot-app[bot]

  and

  Zimmi48

  authored
  beb35a7

  Copy full SHA for beb35a7

• use elpi 2.0.4

  gares

  committed
  ff09213

  Copy full SHA for ff09213

• Merge PR #19854: Small cleanup around coqdep find_dependencies

  Show description for e6be932
  

  coqbot-app[bot]

  and

  ppedrot

  authored
  e6be932

  Copy full SHA for e6be932

• Merge PR #19693: Fix unicode classification of non-spacing marks.

  Show description for 6803a60
  

  coqbot-app[bot]

  and

  ppedrot

  authored
  6803a60

  Copy full SHA for 6803a60

• Merge PR #19868: Ltac2: added Constr.Unsafe.map_with_binders function

  Show description for 02fc00a
  

  coqbot-app[bot]

  and

  ppedrot

  authored
  02fc00a

  Copy full SHA for 02fc00a

Commits on Nov 29, 2024

• Merge PR #19883: 'Ltac2 Notation string := ...' is not abbreviation.

  Show description for cd28a74
  

  coqbot-app[bot]

  and

  jfehrle

  authored
  cd28a74

  Copy full SHA for cd28a74

• Update CODE_OF_CONDUCT.md

  Show description for de9cb03
  

  4 peoplecommitted
  de9cb03

  Copy full SHA for de9cb03

• Add links between non-abbr. and abbr. Ltac2 notation.

  akr

  committed
  3011631

  Copy full SHA for 3011631

Commits on Nov 28, 2024

• Merge PR #19874: [ci] bump elpi to 2.0.x

  Show description for 8939dfb
  

  coqbot-app[bot]

  and

  SkySkimmer

  authored
  8939dfb

  Copy full SHA for 8939dfb

• common.edit_mlg and orderedGrammar updated.

  akr

  committed
  19c7716

  Copy full SHA for 19c7716

• overlay

  gares

  committed
  29e23e9

  Copy full SHA for 29e23e9

• [ci] bump elpi to 2.0.x

  gares

  committed
  174aa2d

  Copy full SHA for 174aa2d

• bump ubuntu to 24.04

  gares

  committed
  c505d80

  Copy full SHA for c505d80

• Merge PR #19863: coqdep: add `-I` from `-f _CoqProject` to findlib search path, remove `-m`

  Show description for f510137
  

  coqbot-app[bot]

  and

  gares

  authored
  f510137

  Copy full SHA for f510137

• "Ltac2 Notation string" is not abbreviation.

  Show description for 6c83c1b
  akr

  committed
  6c83c1b

  Copy full SHA for 6c83c1b

• Merge PR #19882: Remove add_known_module in cctac.ml

  Show description for 1247438
  

  coqbot-app[bot]

  and

  ppedrot

  authored
  1247438

  Copy full SHA for 1247438

Commits on Nov 27, 2024

• Merge PR #19876: Add test and critical bug entry for #19861

  Show description for 2f206fd
  

  coqbot-app[bot]

  and

  ppedrot

  authored
  2f206fd

  Copy full SHA for 2f206fd

• Merge PR #19881: Delete remaining .mllib files in plugins/

  Show description for 5151855
  

  coqbot-app[bot]

  and

  ppedrot

  authored
  5151855

  Copy full SHA for 5151855

• Merge PR #19880: Remove outdated comment in conversion.ml

  Show description for deb867c
  

  coqbot-app[bot]

  and

  ppedrot

  authored
  deb867c

  Copy full SHA for deb867c

• Remove add_known_module in cctac.ml

  Show description for 4328a6c
  SkySkimmer

  committed
  4328a6c

  Copy full SHA for 4328a6c

• Delete remaining .mllib files in plugins/

  Show description for 231047d
  SkySkimmer

  committed
  231047d

  Copy full SHA for 231047d

• Remove outdated comment in conversion.ml

  Show description for de94bd3
  SkySkimmer

  committed
  de94bd3

  Copy full SHA for de94bd3

Commits on Nov 26, 2024

• Merge PR #19584: Provide source location for declared objects

  Show description for d6dd8a6
  

  coqbot-app[bot]

  and

  gares

  authored
  d6dd8a6

  Copy full SHA for d6dd8a6

• Add test and critical bug entry for #19861

  SkySkimmer

  committed
  c44961d

  Copy full SHA for c44961d

Pagination

Previous

Next