Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 25, 2025

• Add deprecation notice

  proux01

  committed
  8b8afda

  Copy full SHA for 8b8afda

Commits on Feb 21, 2025

• Merge pull request #135 from ppedrot/rm-tc-evd-hook

  Show description for 7677ccf
  ppedrot

  authored
  7677ccf

  Copy full SHA for 7677ccf

• Adapt w.r.t. coq/coq#20278.

  ppedrot

  committed
  1ef7f96

  Copy full SHA for 1ef7f96

• Merge pull request #136 from ppedrot/fix-docker-rocq

  Show description for edf36fd
  ppedrot

  authored
  edf36fd

  Copy full SHA for edf36fd

• Use the new Docker repository for Rocq.

  ppedrot

  committed
  71d6b29

  Copy full SHA for 71d6b29

Commits on Feb 6, 2025

• Merge pull request #134 from SkySkimmer/template-entry-qvar

  Show description for c0bb832
  ppedrot

  authored
  c0bb832

  Copy full SHA for c0bb832

Commits on Feb 5, 2025

• Adapt to coq/coq#20178 (kernel template data has qvars)

  SkySkimmer

  committed
  7cc7ab5

  Copy full SHA for 7cc7ab5

Commits on Jan 23, 2025

• Merge pull request #133 from SkySkimmer/cominductive-lbound

  Show description for aac0331
  ppedrot

  authored
  aac0331

  Copy full SHA for aac0331

Commits on Jan 17, 2025

• Adapt to coq/coq#19985 (template poly has pseudo sort poly)

  SkySkimmer

  committed
  84a85f3

  Copy full SHA for 84a85f3

Commits on Jan 15, 2025

• Merge pull request #132 from ppedrot/module-remove-modpath

  Show description for 9c5fd9f
  ppedrot

  authored
  9c5fd9f

  Copy full SHA for 9c5fd9f

• Adapt w.r.t. coq/coq#20060.

  ppedrot

  committed
  7b6c8f8

  Copy full SHA for 7b6c8f8

• Merge pull request #131 from ppedrot/module-abstract-type

  Show description for 3562200
  SkySkimmer

  authored
  3562200

  Copy full SHA for 3562200

Commits on Jan 9, 2025

• Adapt w.r.t. coq/coq#19995.

  ppedrot

  committed
  5aefae6

  Copy full SHA for 5aefae6

Commits on Dec 19, 2024

• Merge pull request #130 from ppedrot/module-expr-type-gadt

  Show description for 32609ca
  SkySkimmer

  authored
  32609ca

  Copy full SHA for 32609ca

Commits on Dec 17, 2024

• Adapt w.r.t. coq/coq#19943.

  ppedrot

  committed
  210a25d

  Copy full SHA for 210a25d

Commits on Sep 17, 2024

• Merge pull request #127 from coq-community/stdlib_repo

  Show description for 992c3a5
  proux01

  authored
  992c3a5

  Copy full SHA for 992c3a5

Commits on Sep 16, 2024

• Adapt to coq/coq#19530

  proux01

  committed
  c048b42

  Copy full SHA for c048b42

Commits on Jun 28, 2024

• Merge pull request #126 from SkySkimmer/template-univs-dupl

  Show description for 5e9bbe7
  ppedrot

  authored
  5e9bbe7

  Copy full SHA for 5e9bbe7

Commits on Jun 27, 2024

• Adapt to coq/coq#19233 (template_universes don't duplicate level data)

  SkySkimmer

  committed
  8696083

  Copy full SHA for 8696083

Commits on Jun 24, 2024

• Merge pull request #125 from ppedrot/template-linear-levels

  Show description for 66fd506
  proux01

  authored
  66fd506

  Copy full SHA for 66fd506

• Work around the non-linearity of template parameter levels.

  Show description for 62d4e3e
  ppedrot

  committed
  62d4e3e

  Copy full SHA for 62d4e3e

Commits on May 13, 2024

• Merge pull request #124 from ppedrot/case-info-rm-tags

  Show description for 7db5cb1
  SkySkimmer

  authored
  7db5cb1

  Copy full SHA for 7db5cb1

Commits on May 3, 2024

• Adapt w.r.t. coq/coq#18996.

  ppedrot

  committed
  22a5700

  Copy full SHA for 22a5700

Commits on Apr 23, 2024

• Merge pull request #123 from SkySkimmer/erelevance

  Show description for 0e58667
  ppedrot

  authored
  0e58667

  Copy full SHA for 0e58667

Commits on Apr 17, 2024

• Adapt to coq/coq#18938 (EConstr.ERelevance)

  SkySkimmer

  committed
  faae4dc

  Copy full SHA for faae4dc

Commits on Apr 16, 2024

• Merge pull request #122 from ppedrot/econstr-inductiveops-api

  Show description for a31475c
  SkySkimmer

  authored
  a31475c

  Copy full SHA for a31475c

• Adapt w.r.t. coq/coq#18935.

  ppedrot

  committed
  2f74108

  Copy full SHA for 2f74108

Commits on Apr 7, 2024

• Merge pull request #121 from SkySkimmer/indirect

  Show description for 4eba947
  ppedrot

  authored
  4eba947

  Copy full SHA for 4eba947

Commits on Mar 22, 2024

• Adapt to coq/coq#18422 (indirect accessor handled through vernactypes)

  SkySkimmer

  committed
  faa9d3c

  Copy full SHA for faa9d3c

Commits on Feb 4, 2024

• Merge pull request #119 from SkySkimmer/temrops-use-evd

  Show description for 5b5ac50
  ppedrot

  authored
  5b5ac50

  Copy full SHA for 5b5ac50

Commits on Feb 2, 2024

• Adapt to coq/coq#18603 (print_rel_context takes evar map)

  SkySkimmer

  committed
  a8b8529

  Copy full SHA for a8b8529

Commits on Nov 13, 2023

• Merge pull request #118 from SkySkimmer/ci-relevance

  Show description for a61b1b3
  ppedrot

  authored
  a61b1b3

  Copy full SHA for a61b1b3

Commits on Nov 9, 2023

• Adapt to coq/coq#18280 (case relevance outside case info)

  SkySkimmer

  committed
  4f9b3f7

  Copy full SHA for 4f9b3f7

Commits on Nov 8, 2023

• Merge pull request #117 from coq-community/fix-doi

  Show description for ec8ad23
  proux01

  authored
  ec8ad23

  Copy full SHA for ec8ad23

• Fix DOI

  

  pi8027

  authored and

  proux01

  committed
  259433a

  Copy full SHA for 259433a

Pagination

Previous

Next