Commits

Branch selector

 refs/heads/master

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 22, 2021

• adapt to coq/coq#13965

  gares

  committed
  689c4fd

Commits on Jan 23, 2021

• Merge pull request #63 from proux01/remove-omega

  Show description for 1d681af
  proux01

  authored
  1d681af

• Remove a forgotten Require Omega

  proux01

  committed
  6e5f68b

Commits on Jan 19, 2021

• Merge pull request #62 from proux01/remove-omega

  Show description for 8a4cab6
  proux01

  authored
  8a4cab6

• Get rid of omega

  proux01

  committed
  9ed0e36

Commits on Jan 6, 2021

• Merge pull request #61 from ppedrot/compact-case-repr

  Show description for 937b773
  ppedrot

  authored
  937b773

Commits on Jan 1, 2021

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

  ppedrot

  committed
  87fd8ae

Commits on Dec 27, 2020

• Add vos/k to gitignore

  proux01

  committed
  de99ff5

Commits on Nov 26, 2020

• Merge pull request #60 from SkySkimmer/intern-univs

  Show description for 57e92e2
  SkySkimmer

  authored
  57e92e2

Commits on Nov 25, 2020

• Adapt to coq/coq#13415 (interning/externing universes)

  SkySkimmer

  committed
  686046a

Commits on Nov 22, 2020

• Fix meta.yml following 8e0d7eb.

  Zimmi48

  committed
  e47d6fe

• Fix Makefile for test-suite

  proux01

  committed
  c19a148

• Fix coq version in opam

  proux01

  committed
  8e0d7eb

• Merge pull request #59 from Zimmi48/leave-travis

  Show description for de060f4
  proux01

  authored
  de060f4

• Use custom_script to run test-suite.

  Zimmi48

  committed
  2c512ec

• Use templates to generate standard files and switch from Travis to GH Actions.

  Zimmi48

  committed
  488aa05

• Move README to standard path.

  Zimmi48

  committed
  8b8ab0f

Commits on Nov 17, 2020

• Merge pull request #54 from SkySkimmer/cumul-syntax

  Show description for bdc6b3b
  proux01

  authored
  bdc6b3b

Commits on Nov 5, 2020

• Merge pull request #55 from proux01/numeral-notations-non-inductive

  Show description for ebda74d
  proux01

  authored
  ebda74d

Commits on Oct 22, 2020

• Adapt to coq/coq#12218

  proux01

  committed
  a230db6

Commits on Oct 6, 2020

• Merge pull request #58 from herbelin/master+adapt-coq-pr13143-hbox-no-argument

  Show description for a67e286
  proux01

  authored
  a67e286

• Adapt to Coq PR#13143: Pp.h does not take a (dummy) integer anymore.

  Show description for fcf851d
  herbelin

  committed
  fcf851d

Commits on Sep 23, 2020

• Merge pull request #57 from ppedrot/explicit-names-quotient

  Show description for 4a8fcd4
  ppedrot

  authored
  4a8fcd4

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

  ppedrot

  committed
  3090d8e

Commits on Jul 20, 2020

• Adapt to coq/coq#12653 (syntax for cumulative inductives)

  SkySkimmer

  committed
  a95d9d1

Commits on Jul 9, 2020

• Merge pull request #52 from ejgallego/obligations+functional

  Show description for 13bc055
  SkySkimmer

  authored
  13bc055

Commits on Jul 8, 2020

• [coq] Adapt to coq/coq#11836

  ejgallego

  committed
  b7faf05

Commits on Jul 3, 2020

• Merge pull request #36 from SkySkimmer/uip

  Show description for 9e3bbc9
  proux01

  authored
  9e3bbc9

Commits on Jun 29, 2020

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

  SkySkimmer

  committed
  02fe86d

• Merge pull request #53 from ejgallego/proof+info

  Show description for 8b67b5e
  SkySkimmer

  authored
  8b67b5e

Commits on Jun 24, 2020

• [coq] Adapt to coq/coq#12372

  ejgallego

  committed
  c074ffa

Commits on May 15, 2020

• Merge pull request #51 from proux01/hexadecimal

  Show description for aa2f620
  proux01

  authored
  aa2f620

Commits on Apr 22, 2020

• [coq] Adapt to coq/coq#11948

  proux01

  committed
  df8aebd

Commits on Mar 31, 2020

• Merge pull request #50 from ejgallego/proof+remove_special_case_first_declaration_in_mutual

  Show description for a03d40d
  SkySkimmer

  authored
  a03d40d

Commits on Mar 23, 2020

• [coq] Overlay for coq/coq#11818

  ejgallego

  committed
  8d90740

Pagination

PreviousNext