coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge PR #6610: Points to Flocq official repository.	Maxime Dénès	2018-02-07
\|\
* \	Merge PR #6686: Kernel/checker reduction cleanups around projection unfolding	Maxime Dénès	2018-02-07
\|\ \
* \ \	Merge PR #6671: [stm] [toplevel] Make loadpath a parameter of the document.	Maxime Dénès	2018-02-06
\|\ \ \
\| \| \| *	Points to Flocq official repository.	Théo Zimmermann	2018-02-05
\| \|_\|/ \|/\| \|
\| \| *	Add overlay for equations (nf_beta takes an env)	Gaëtan Gilbert	2018-02-05
* \| \|	Merge PR #6654: CI: Run coqchk on Iris	Maxime Dénès	2018-02-05
\|\ \ \ \| \|_\|/ \|/\| \|
\| \| *	[stm] [toplevel] Make loadpath a parameter of the document.	Emilio Jesus Gallego Arias	2018-02-05
\| \|/ \|/\|
\| *	CI: Run coqchk on Iris	Ralf Jung	2018-01-31
* \|	Merge PR #6641: ci-compcert.sh: use default value for NJOBS when installing m...	Maxime Dénès	2018-01-31
\|\ \
* \ \	Merge PR #6535: Cleanup name-binding structure for fresh evar name generation.	Maxime Dénès	2018-01-31
\|\ \ \
\| \| * \|	Put default value for NJOBS in ci-common.	Gaëtan Gilbert	2018-01-30
\| \| \|/
\| * \|	Adding an overlay for Equations.	Pierre-Marie Pédrot	2018-01-30
* \| \|	Merge PR #6605: Safer VM interfaces	Maxime Dénès	2018-01-30
\|\ \ \
\| * \| \|	Safer VM interfaces	Maxime Dénès	2018-01-26
\| \| \|/ \| \|/\|
* / \|	Use travis_retry on apt-get update	Jason Gross	2018-01-23
\|/ /
* \|	Merge PR #6629: Archive COMPATIBILITY	Maxime Dénès	2018-01-23
\|\ \
* \ \	Merge PR #6568: Cleanup scripts	Maxime Dénès	2018-01-23
\|\ \ \
\| \| * \|	Archive COMPATIBILITY.	Théo Zimmermann	2018-01-22
* \| \| \|	Merge PR #6550: Remove outdated note about rlwrap in setup.txt	Maxime Dénès	2018-01-22
\|\ \ \ \ \| \|_\|/ / \|/\| \| \|
* \| \| \|	Merge PR #6448: Cleanup and add debug printers a bit	Maxime Dénès	2018-01-18
\|\ \ \ \
\| \| \| * \|	merge-pr.sh: use git diff --quiet	Gaëtan Gilbert	2018-01-16
\| \| \| * \|	Source basic overlay before user overlays.	Gaëtan Gilbert	2018-01-16
\| \| \| * \|	Cleanup shell expansions and quoting.	Gaëtan Gilbert	2018-01-16
\| \| \| * \|	Simplify logic and streamline lint-repository.sh	Gaëtan Gilbert	2018-01-16
* \| \| \| \|	Fix the wrapper around ocamldebug.	Pierre-Marie Pédrot	2018-01-15
* \| \| \| \|	Merge PR #6483: Strong invariants in polymorphic definitions	Maxime Dénès	2018-01-12
\|\ \ \ \ \
\| * \| \| \| \|	Adding a custom Travis overlay for HoTT.	Pierre-Marie Pédrot	2018-01-11
* \| \| \| \| \|	Merge PR #6557: First stab at documenting the test suite.	Maxime Dénès	2018-01-11
\|\ \ \ \ \ \
* \ \ \ \ \ \	Merge PR #6519: Python script checking missing/unnecessary [needs: rebase] label	Maxime Dénès	2018-01-10
\|\ \ \ \ \ \ \ \| \|_\|/ / / / / \|/\| \| \| \| \| \|
\| \| \| \| \| * \|	Cleanup conditional in lint-repository.sh	Gaëtan Gilbert	2018-01-08
\| \| \| \| \| \|/
\| \| \| \| * /	Stop talking about debian in "A note about rlwrap"	Gaëtan Gilbert	2018-01-08
\| \| \| \| \|/
* \| \| \| \|	Merge PR #6549: Normalize package names	Maxime Dénès	2018-01-08
\|\ \ \ \ \
* \ \ \ \ \	Merge PR #6527: Update backport script for more control.	Maxime Dénès	2018-01-08
\|\ \ \ \ \ \
\| \| \| * \| \| \|	github-check-prs.py: print PR URLs when needed.	Gaëtan Gilbert	2018-01-08
\| \| \| * \| \| \|	github-check-prs.py: Strip spaces from token from command line	Gaëtan Gilbert	2018-01-08
\| \| \| * \| \| \|	github-check-prs.py: command line option to get token from a file	Gaëtan Gilbert	2018-01-08
* \| \| \| \| \| \|	Merge PR #6501: Document use of ocamldebug from the command line in Cygwin/Wi...	Maxime Dénès	2018-01-08
\|\ \ \ \ \ \ \ \| \|_\|_\|_\|_\|_\|/ \|/\| \| \| \| \| \|
\| \| \| \| \| * \|	First stab at documenting the test suite.	Jasper Hugunin	2018-01-06
\| \|_\|_\|_\|/ / \|/\| \| \| \| \|
\| \| \| * \| \|	Normalize MacOS installer name.	Théo Zimmermann	2018-01-04
\| \| \| * \| \|	Normalize Windows installer names.	Théo Zimmermann	2018-01-04
\| \|_\|/ / / \|/\| \| \| \|
\| \| \| * \|	Expound on dependencies for github-check-prs.py	Gaëtan Gilbert	2017-12-30
\| \| \| * \|	Python script checking missing/unnecessary [needs: rebase] label	Gaëtan Gilbert	2017-12-30
\| * \| \| \|	Add instructions for debugging from the command line (and in Windows)	Jim Fehrle	2017-12-29
* \| \| \| \|	Merge PR #6493: [API] remove large file containing duplicate interfaces	Maxime Dénès	2017-12-29
\|\ \ \ \ \
* \ \ \ \ \	Merge PR #6405: Remove the local polymorphic flag hack.	Maxime Dénès	2017-12-29
\|\ \ \ \ \ \ \| \|_\|_\|_\|/ / \|/\| \| \| \| \|
\| \| * \| \| \|	overlay for #6493	Enrico Tassi	2017-12-27
\| \| * \| \| \|	[API] remove large file containing duplicate interfaces	Enrico Tassi	2017-12-27
\| \|/ / / / \|/\| \| \| \|
* \| \| \| \|	Merge PR #6102: Fix #5998: AppVeyor package building is currently failing	Maxime Dénès	2017-12-27
\|\ \ \ \ \
\| \| * \| \| \|	Add equations overlay.	Maxime Dénès	2017-12-27
\| \|/ / / / \|/\| \| \| \|
\| * \| \| \|	Fix #5998: AppVeyor package building is currently failing	Maxime Dénès	2017-12-27