Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 13, 2024

• Merge pull request #74 from coq-community/mc2

  Show description for ff07f73
  pi8027

  authored
  ff07f73

  Copy full SHA for ff07f73

• Clean up some import lists

  pi8027

  committed
  5e1d123

  Copy full SHA for 5e1d123

• Compatible with coq-master

  pi8027

  committed
  1fc1c88

  Copy full SHA for 1fc1c88

• Add the #[export] attribute

  pi8027

  committed
  84fd7ce

  Copy full SHA for 84fd7ce

Commits on Nov 12, 2024

• Adapt to MC2

  pi8027

  committed
  c63c5cd

  Copy full SHA for c63c5cd

Commits on Jan 20, 2022

• Merge pull request #73 from coq-community/named_variables

  Show description for e1c8bb8
  anton-trunov

  authored
  e1c8bb8

  Copy full SHA for e1c8bb8

• Name variables that are going to be used

  Show description for f944c9d
  CohenCyril

  committed
  f944c9d

  Copy full SHA for f944c9d

Commits on Nov 2, 2021

• Merge pull request #69 from coq-community/coq8.14

  Show description for fdd9a3e
  anton-trunov

  authored
  fdd9a3e

  Copy full SHA for fdd9a3e

• CI: add Coq 8.14 and Mathcomp 1.13

  anton-trunov

  committed
  7dfe4a6

  Copy full SHA for 7dfe4a6

Commits on Apr 4, 2021

• Merge pull request #67 from pi8027/fix-mathcomp-727

  Show description for d8ff21b
  anton-trunov

  authored
  d8ff21b

  Copy full SHA for d8ff21b

• Bump the minimal version of MathComp to 1.10.0

  pi8027

  committed
  04190c6

  Copy full SHA for 04190c6

• Fix w.r.t. the removal of `eq_sorted_irr` in MathComp

  Show description for 20fa23b
  pi8027

  committed
  20fa23b

  Copy full SHA for 20fa23b

Commits on Jan 13, 2021

• Merge pull request #66 from coq-community/mathcomp-ci

  Show description for d59e8cc
  anton-trunov

  authored
  d59e8cc

  Copy full SHA for d59e8cc

• adjust mathcomp version boundaries, use mathcomp docker in CI

  palmskog

  committed
  5be8724

  Copy full SHA for 5be8724

• Merge pull request #65 from coq-community/coq-8.13

  Show description for 3e9f671
  anton-trunov

  authored
  3e9f671

  Copy full SHA for 3e9f671

• Coq 8.13 compatibility

  anton-trunov

  committed
  ef7e6f7

  Copy full SHA for ef7e6f7

Commits on Nov 23, 2020

• Merge pull request #64 from coq-community/leave-travis

  Show description for a585542
  Zimmi48

  authored
  a585542

  Copy full SHA for a585542

Commits on Nov 22, 2020

• Switch from Travis CI to GitHub Actions.

  Zimmi48

  committed
  ae7cad9

  Copy full SHA for ae7cad9

Commits on Nov 5, 2020

• Merge pull request #63 from pi8027/fix-mathcomp-601

  Show description for 0520f50
  anton-trunov

  authored
  0520f50

  Copy full SHA for 0520f50

Commits on Nov 4, 2020

• Fix w.r.t. math-comp/math-comp#601

  pi8027

  committed
  eba8295

  Copy full SHA for eba8295

Commits on Aug 12, 2020

• Merge pull request #62 from coq-community/disable-nix

  Show description for 05a9f46
  anton-trunov

  authored
  05a9f46

  Copy full SHA for 05a9f46

• [ci] Disable Nix

  Show description for 7a304e2
  anton-trunov

  committed
  7a304e2

  Copy full SHA for 7a304e2

• Merge pull request #61 from coq-community/turn-off-warnings-as-errors

  Show description for 68b34e7
  anton-trunov

  authored
  68b34e7

  Copy full SHA for 68b34e7

• Remove the option turning warnings into errors

  Show description for 71cf845
  

  Anton Trunov

  committed
  71cf845

  Copy full SHA for 71cf845

• Merge pull request #60 from coq-community/refresh-from-templates

  Show description for 6cd1577
  anton-trunov

  authored
  6cd1577

  Copy full SHA for 6cd1577

• Update CHANGELOG

  

  Anton Trunov

  committed
  e576536

  Copy full SHA for e576536

• Silence notation-incompatible-format warning

  Show description for 88a6f89
  

  Anton Trunov

  committed
  88a6f89

  Copy full SHA for 88a6f89

• Refresh from recent templates

  

  Anton Trunov

  committed
  a8ae6a8

  Copy full SHA for a8ae6a8

Commits on Jul 13, 2020

• Fix use of Cachix (regenerate from templates).

  Zimmi48

  committed
  9f74a7b

  Copy full SHA for 9f74a7b

Commits on Jun 10, 2020

• Merge pull request #58 from coq-community/mathcomp-1.11

  Show description for 2f8f499
  anton-trunov

  authored
  2f8f499

  Copy full SHA for 2f8f499

• lemma-overloading is compatible with Mathcomp 1.11

  anton-trunov

  committed
  47e0708

  Copy full SHA for 47e0708

Commits on Jun 7, 2020

• Merge pull request #57 from erikmd/coq-8.12

  Show description for 7dde70c
  anton-trunov

  authored
  7dde70c

  Copy full SHA for 7dde70c

• [nix] Build with math-comp dev version.

  Show description for 03e072a
  

  Zimmi48

  authored and

  erikmd

  committed
  03e072a

  Copy full SHA for 03e072a

• [CI] Allow build with Coq 8.12 & Regenerate files from templates

  erikmd

  committed
  f3dac05

  Copy full SHA for f3dac05

Commits on May 29, 2020

• Merge pull request #56 from Zimmi48/update-templates

  Show description for 6a6bea2
  anton-trunov

  authored
  6a6bea2

  Copy full SHA for 6a6bea2

Pagination

Previous

Next