Commits

Branch selector

 coq8.20

User selector

SkySkimmer

Datepicker

All time

Commit History

Commits on Jul 28, 2024

• Adapt to coq/coq#19390 (goptions tables can discharge) + fix module substitution

  

  SkySkimmer

  authored and

  lukaszcz

  committed
  eca8630

  Copy full SHA for eca8630

Commits on Apr 23, 2024

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

  

  SkySkimmer

  authored and

  lukaszcz

  committed
  448444a

  Copy full SHA for 448444a

Commits on Nov 13, 2023

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

  

  SkySkimmer

  authored and

  lukaszcz

  committed
  075ac9b

  Copy full SHA for 075ac9b

Commits on Nov 7, 2023

• Adapt to coq/coq#17836 (sort poly)

  

  SkySkimmer

  authored and

  lukaszcz

  committed
  3b59f1e

  Copy full SHA for 3b59f1e

Commits on Jun 7, 2023

• Adapt to coq/coq#17664 (goptions use Deprecation.t option instead of bool)

  

  SkySkimmer

  authored and

  lukaszcz

  committed
  35b1ddb

  Copy full SHA for 35b1ddb

Commits on May 31, 2023

• Adapt to coq/coq#17633 (decompose_app returns array not list)

  

  SkySkimmer

  authored and

  lukaszcz

  committed
  d53bcf5

  Copy full SHA for d53bcf5

Commits on Jan 23, 2023

• Don't use Mltop.add_known_plugin

  Show description for 1c33b19
  

  SkySkimmer

  authored and

  lukaszcz

  committed
  1c33b19

  Copy full SHA for 1c33b19

Commits on Dec 14, 2022

• Don't force references at linking time

  Show description for 82a0824
  

  SkySkimmer

  authored and

  lukaszcz

  committed
  82a0824

  Copy full SHA for 82a0824

Commits on Dec 10, 2022

• Adapt to coq/coq#16938 (staged options)

  

  SkySkimmer

  authored and

  lukaszcz

  committed
  b113202

  Copy full SHA for b113202

Commits on Oct 12, 2021

• Adapt to coq/coq#15003 (user_err has no hdr argument)

  

  SkySkimmer

  authored and

  lukaszcz

  committed
  6733ae2

  Copy full SHA for 6733ae2

Commits on Jul 3, 2020

• Adapt to coq/coq#10390 (UIP in SProp)

  

  SkySkimmer

  authored and

  lukaszcz

  committed
  fc47952

  Copy full SHA for fc47952

Commits on Feb 12, 2020

• Adapt to coq/coq#11521 (remove Goptions.optname field)

  SkySkimmer

  committed
  8e0d3ec

  Copy full SHA for 8e0d3ec

Commits on Feb 6, 2020

• Adapt to coq/coq#11521 (remove Goptions.optname field)

  SkySkimmer

  committed
  05ec286

  Copy full SHA for 05ec286

Commits on Mar 15, 2019

• Adapt to coq/coq#8817 (SProp)

  SkySkimmer

  committed
  5971511

  Copy full SHA for 5971511