Commits

Branch selector

 refs/heads/master

User selector

All users

Datepicker

All time

Commit History

Commits on May 23, 2023

• Adapt to coq/coq#17466 (relevance_of_sort takes evar map)

  SkySkimmer

  committed
  282feda

Commits on Feb 24, 2023

• Merge pull request #107 from SkySkimmer/unsafe-mono

  SkySkimmer

  authored
  5167648

• Adapt to coq/coq#17283 (More careful handling of possibly universe polymorphic globrefs)

  SkySkimmer

  committed
  2b015c1

Commits on Feb 9, 2023

• Merge pull request #106 from SkySkimmer/prlev

  SkySkimmer

  authored
  ca56b5d

Commits on Feb 7, 2023

• Adapt to coq/coq#17177 (universe printing API change)

  SkySkimmer

  committed
  f3d88db

Commits on Jan 26, 2023

• Merge pull request #105 from ppedrot/fix-sprop-relevance

  Show description for 8a21474
  proux01

  authored
  8a21474

• Fix relevance computation.

  ppedrot

  committed
  9050449

Commits on Jan 10, 2023

• Typo

  proux01

  committed
  474b1d6

Commits on Dec 8, 2022

• Merge pull request #104 from SkySkimmer/staged-options

  SkySkimmer

  authored
  7c27419

Commits on Dec 7, 2022

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

  SkySkimmer

  committed
  de5b1d3

Commits on Dec 6, 2022

• Merge pull request #103 from ppedrot/esorts-respect-api

  Show description for 6c5cb4b
  ppedrot

  authored
  6c5cb4b

Commits on Dec 3, 2022

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

  ppedrot

  committed
  72f973c

Commits on Oct 3, 2022

• Merge pull request #102 from maximedenes/fix-declaremods

  Show description for 308614a
  thery

  authored
  308614a

Commits on Oct 2, 2022

• Use Declaremods.start_module instead of low-level Lib API

  Show description for 215c374
  maximedenes

  committed
  215c374

Commits on Sep 5, 2022

• Merge pull request #101 from SkySkimmer/assumptions-vos

  Show description for b1822fd
  proux01

  authored
  b1822fd

Commits on Aug 30, 2022

• Adapt to coq/coq#16434 (Assumptions.traverse type change)

  SkySkimmer

  committed
  4f07df8

Commits on Jun 15, 2022

• [CI] Back to dev Docker image

  proux01

  committed
  ca996bb

• Add template headers

  proux01

  committed
  615eee0

Commits on May 25, 2022

• Merge pull request #97 from ejgallego/mltop_fix

  Show description for 07e18b9
  proux01

  authored
  07e18b9

• [CI] Temporary switch of Docker image

  Show description for 9ca3762
  proux01

  committed
  9ca3762

Commits on May 24, 2022

• [coq] Use findlib name in DECLARE PLUGIN

  Show description for f0d9cc0
  ejgallego

  committed
  f0d9cc0

Commits on May 18, 2022

• Merge pull request #95 from SkySkimmer/tacopt

  Show description for 6542e2e
  proux01

  authored
  6542e2e

Commits on May 9, 2022

• Adapt to coq/coq#15274 (tactic_option supports export)

  SkySkimmer

  committed
  5118317

Commits on Feb 3, 2022

• Merge pull request #88 from gares/dynlink-w-findlib

  SkySkimmer

  authored
  fb0e7bd

Commits on Feb 2, 2022

• compatibility with dune < 2.9.4

  gares

  committed
  39c16ed

Commits on Jan 16, 2022

• simplify overlay

  gares

  committed
  271dfd9

• adapt to coq/coq#15220

  gares

  committed
  b73a349

Commits on Jan 3, 2022

• Merge pull request #91 from ppedrot/reduce-global-use

  Show description for a6917b3
  SkySkimmer

  authored
  a6917b3

Commits on Dec 31, 2021

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

  ppedrot

  committed
  1ca1110

Commits on Dec 14, 2021

• Merge pull request #89 from SkySkimmer/libobject-names

  Show description for 01d76bd
  SkySkimmer

  authored
  01d76bd

Commits on Dec 9, 2021

• Adapt to coq/coq#15317 (libobject name handling refactoring)

  SkySkimmer

  committed
  ff2f671

Commits on Nov 29, 2021

• Merge pull request #87 from olaure01/identity

  Show description for fd98de8
  Zimmi48

  authored
  fd98de8

Commits on Nov 28, 2021

• adapt to coq/coq#15256 (remove Init.Logic_Type)

  olaure01

  committed
  4d40a21

Commits on Nov 3, 2021

• Merge pull request #86 from SkySkimmer/locatemod-noopen

  Show description for 46bc4af
  ppedrot

  authored
  46bc4af

Commits on Oct 28, 2021

• Adapt to coq/coq#15078 (modules are not in locate_dir)

  SkySkimmer

  committed
  73133e7

Pagination

PreviousNext