Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 20, 2021

• removed coq submodule

  Alizter

  committed
  dfbe44d

  Copy full SHA for dfbe44d

Commits on Oct 18, 2021

• update coq-dpdgraph submodule to newer repo and version

  Alizter

  committed
  9235cc6

  Copy full SHA for 9235cc6

Commits on Apr 15, 2021

• Generate Documentation using Alectryon

  JasonGross

  committed
  3143559

  Copy full SHA for 3143559

Commits on Mar 16, 2021

• Update URL to coq-dpdgraph

  andreaslyn

  committed
  ef34cbd

  Copy full SHA for ef34cbd

Commits on Jan 24, 2019

• Bump submodules to master and update INSTALL.md

  Show description for 42fa752
  JasonGross

  committed
  42fa752

  Copy full SHA for 42fa752

Commits on Jan 22, 2019

• Bump various versions to 8.9

  Show description for 139bf63
  JasonGross

  committed
  139bf63

  Copy full SHA for 139bf63

Commits on Aug 28, 2018

• Drop support for Coq 8.8 in preparation for 8.9

  Show description for 7011ad3
  JasonGross

  committed
  7011ad3

  Copy full SHA for 7011ad3

• Set Coq version to 8.8.1

  Show description for 457e8c5
  JasonGross

  committed
  457e8c5

  Copy full SHA for 457e8c5

Commits on Oct 21, 2017

• Set Coq version to master

  JasonGross

  committed
  6999c6b

  Copy full SHA for 6999c6b

• Set Coq version to 8.7

  Show description for 996f52b
  JasonGross

  committed
  996f52b

  Copy full SHA for 996f52b

Commits on Oct 20, 2017

• Update from Coq trunk to Coq master

  JasonGross

  committed
  9a9d403

  Copy full SHA for 9a9d403

• [submodules] Bump coq-HoTT and coq-dpdgraph

  JasonGross

  committed
  6904e10

  Copy full SHA for 6904e10

• [travis] Update Coq submodule to trunk.

  Show description for 1d3ce8a
  

  ejgallego

  authored and

  JasonGross

  committed
  1d3ce8a

  Copy full SHA for 1d3ce8a

Commits on Apr 18, 2017

• Add submodule

  JasonGross

  committed
  9e1c56b

  Copy full SHA for 9e1c56b

• [travis] [v8.6] Updates to infrastructure.

  Show description for 48c0481
  

  ejgallego

  authored and

  JasonGross

  committed
  48c0481

  Copy full SHA for 48c0481

Commits on Jul 23, 2014

• Move to trunk

  Show description for 66bbfd5
  JasonGross

  committed
  66bbfd5

  Copy full SHA for 66bbfd5

Commits on Jul 18, 2014

• Outsource timing scripts to a separate repo

  Show description for 5f66d58
  JasonGross

  committed
  5f66d58

  Copy full SHA for 5f66d58

Commits on Sep 29, 2013

• Bundle coq as a git submodule

  Show description for 2fc4fb0
  

  JasonGross

  authored and

  andrejbauer

  committed
  2fc4fb0

  Copy full SHA for 2fc4fb0

Loading