Commits

Branch selector

 master

User selector

ppedrot

Datepicker

All time

Commit History

Commits on Jun 10, 2019

• Merge pull request coq-community#47 from ejgallego/proof_global+move_termination_routine_out

  Show description for 4869852
  ppedrot

  authored
  4869852

  Copy full SHA for 4869852

Commits on Jun 9, 2019

• Merge pull request coq-community#48 from SkySkimmer/depr-lemma-with

  Show description for 5a054f9
  ppedrot

  authored
  5a054f9

  Copy full SHA for 5a054f9

Commits on May 6, 2019

• Adapt to coq/coq#10052.

  ppedrot

  committed
  2331ca1

  Copy full SHA for 2331ca1

Commits on Nov 2, 2018

• Deactivate CI for Coq 8.9 due to backward incompatibility.

  ppedrot

  committed
  a6cadb0

  Copy full SHA for a6cadb0

Commits on Oct 31, 2018

• Port to coqpp.

  ppedrot

  committed
  289b810

  Copy full SHA for 289b810

Commits on Oct 31, 2016

• Fix ML compilation.

  ppedrot

  committed
  1c54261

  Copy full SHA for 1c54261

Commits on Sep 21, 2016

• Fix after Constrarg merge.

  ppedrot

  committed
  783fdd5

  Copy full SHA for 783fdd5

Commits on Jun 1, 2016

• Fix after move of printing to Feedback.

  ppedrot

  committed
  85798a3

  Copy full SHA for 85798a3

Commits on Mar 18, 2016

• Auto-generating Makefile.

  ppedrot

  committed
  a36b9be

  Copy full SHA for a36b9be

• Fixing EXTEND macros.

  ppedrot

  committed
  8937d6b

  Copy full SHA for 8937d6b

Commits on Mar 9, 2016

• Fixing compilation.

  ppedrot

  committed
  1cb9805

  Copy full SHA for 1cb9805

Commits on Oct 27, 2015

• Fixing ML compilation

  ppedrot

  committed
  6ffdf06

  Copy full SHA for 6ffdf06

Commits on Jul 4, 2015

• Partial fix for AAC.

  ppedrot

  committed
  6b77fae

  Copy full SHA for 6b77fae