Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
Bedrock
Partial work towards compat with trunk without -compat 8.4
Jun 15, 2017
doc
Incorporate some advice on the new tutorial section
Nov 29, 2012
etc
Bump coq-scripts for trunk
Jun 15, 2017
tools
Simplify Makefiles into a single top-level makefile, for the most part
Feb 21, 2015
.gitignore
Update .gitignore
Jul 5, 2016
.gitmodules
Add coq-scripts submodule
Aug 16, 2015
.mailmap
Add .mailmap
Mar 13, 2015
.travis.yml
Remove allow-failures on travis
Jun 14, 2017
LICENSE
Small text changes before release
Mar 28, 2013
Makefile
Add -bypass-API
Jun 12, 2017
README
Update README
Feb 21, 2015
_CoqProject.in
Fix an NPeano problem via the Compat file
Jul 5, 2016