coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge PR #7746: Many small cleanups removing unused arguments and functions	Pierre-Marie Pédrot	2018-07-05
\|\
* \	Merge PR #7979: TACTIC EXTEND in coqpp	Emilio Jesus Gallego Arias	2018-07-05
\|\ \
* \| \|	[ci] Avoid annoying detached head warning.	Emilio Jesus Gallego Arias	2018-07-04
* \| \|	Merge PR #7978: [ci] [docker] Make sure we don't install optional packages wi...	Gaëtan Gilbert	2018-07-03
\|\ \ \
\| \| \| *	Add overlay for equations.	Gaëtan Gilbert	2018-07-03
\| \|_\|/ \|/\| \|
* \| \|	Merge PR #7820: [hints] Add Hint Variables/Constants Opaque/Transparent commands	Pierre-Marie Pédrot	2018-07-03
\|\ \ \
\| \| * \|	[ci] [docker] Make sure we don't install optional packages with apt.	Emilio Jesus Gallego Arias	2018-07-02
\| \| \| *	Documenting the syntax changes.	Pierre-Marie Pédrot	2018-07-02
\| \| \|/
\| * /	Add Equations overlay	Matthieu Sozeau	2018-07-02
\| \|/
* /	Clean up documentation around beginner's guide.	Siddharth Bhat	2018-07-02
\|/
*	Merge PR #7902: Use a homebrew parser to replace the GEXTEND extension points...	Emilio Jesus Gallego Arias	2018-07-02
\|\
* \	Merge PR #7964: Document that GITURL variables shouldn't have a trailing .git...	Emilio Jesus Gallego Arias	2018-07-01
\|\ \
* \ \	Merge PR #7410: Splitting primitive numeral parser/printer for positive, N, Z...	Emilio Jesus Gallego Arias	2018-07-01
\|\ \ \
\| \| \| *	Adding an overlay for the PR.	Pierre-Marie Pédrot	2018-06-29
\| \| \| *	Documenting the transition strategy of GEXTEND.	Pierre-Marie Pédrot	2018-06-29
\| \|_\|/ \|/\| \|
\| \| *	Document that GITURL variables shouldn't have a trailing .git anymore.	Théo Zimmermann	2018-06-29
\| \|/ \|/\|
* \|	Merge PR #7918: Mini-update of version history with recent changes.	Théo Zimmermann	2018-06-29
\|\ \
\| \| *	Splitting primitive numeral parser/printer for positive, N, Z into three files.	Hugo Herbelin	2018-06-29
* \| \|	Merge PR #7080: Swapping Context and Constr and defining declarations on cons...	Maxime Dénès	2018-06-29
\|\ \ \
* \ \ \	Merge PR #7745: Make type Environ.globals abstract + simplify Environ.retrokn...	Maxime Dénès	2018-06-29
\|\ \ \ \ \| \|_\|_\|/ \|/\| \| \|
* \| \| \|	Merge PR #7928: Fix 'unbound variable' issue on Windows packaging jobs.	Michael Soegtrop	2018-06-28
\|\ \ \ \
* \ \ \ \	Merge PR #7917: Critical bugs: added #3243 and Gonthier's bug in lazy machine.	Théo Zimmermann	2018-06-28
\|\ \ \ \ \
\| \| \| * \| \|	Make Environ.globals abstract.	Gaëtan Gilbert	2018-06-28
\| \|_\|/ / / \|/\| \| \| \|
* \| \| \| \|	Add mit-plv/bedrock2-ci to CI	Andres Erbsen	2018-06-27
\| \| \| * \|	Adding overlay.	Hugo Herbelin	2018-06-27
\| \| \| * \|	Swapping Context and Constr: defining declarations on constr in Constr.	Hugo Herbelin	2018-06-27
\| \|_\|/ / \|/\| \| \|
\| \| * \|	Fix 'unbound variable' issue on Windows packaging jobs.	Théo Zimmermann	2018-06-27
* \| \| \|	Merge PR #7863: Remove Sorts.contents	Pierre-Marie Pédrot	2018-06-27
\|\ \ \ \ \| \|_\|/ / \|/\| \| \|
* \| \| \|	Merge PR #7906: universes_of_constr don't include universes of monomorphic co...	Pierre-Marie Pédrot	2018-06-26
\|\ \ \ \
* \ \ \ \	Merge PR #7831: Fix for issue #7707: include Ltac2 and Equations in Windows b...	Maxime Dénès	2018-06-26
\|\ \ \ \ \
* \ \ \ \ \	Merge PR #7783: Move INSTALL.doc to doc/README.md and improve a few things.	Maxime Dénès	2018-06-26
\|\ \ \ \ \ \
\| \| \| \| * \| \|	Add overlay for elpi	Gaëtan Gilbert	2018-06-26
\| \| \| \| * \| \|	Remove Sorts.contents	Gaëtan Gilbert	2018-06-26
\| \|_\|_\|/ / / \|/\| \| \| \| \|
\| \| \| * \| \|	Add overlay for Equations, Elpi	Gaëtan Gilbert	2018-06-26
\| \| * \| \| \|	Activate the build of Ltac2 and Equations in the Windows installer.	Théo Zimmermann	2018-06-25
\| \| * \| \| \|	Reuse CI info to know which version of plugins to build on Windows.	Théo Zimmermann	2018-06-25
\| \| * \| \| \|	Fix for issue 7707: include Ltac2 and Equations in Windows build	Michael Soegtrop	2018-06-25
\| \|/ / / / \|/\| \| \| \|
\| \| \| \| *	Mini-update of version history with recent changes.	Hugo Herbelin	2018-06-25
\| \|_\|_\|/ \|/\| \| \|
\| \| \| *	Critical bugs: added #3243 and Gonthier's bug in lazy machine.	Hugo Herbelin	2018-06-25
\| \|_\|/ \|/\| \|
* \| \|	Merge PR #7895: Revert "Add a note about [ci skip] in CI README."	Emilio Jesus Gallego Arias	2018-06-24
\|\ \ \
* \ \ \	Merge PR #7805: Towards listing the critical bugs of the history of Coq.	Théo Zimmermann	2018-06-24
\|\ \ \ \
* \ \ \ \	Merge PR #7893: Update dpdgraph branch name	Théo Zimmermann	2018-06-22
\|\ \ \ \ \ \| \|_\|_\|_\|/ \|/\| \| \| \|
\| \| \| * \|	Revert "Add a note about [ci skip] in CI README."	Théo Zimmermann	2018-06-22
\| \|_\|/ / \|/\| \| \|
\| \| \| *	Fix Windows install script following removal of INSTALL.ide and move of INSTA...	Théo Zimmermann	2018-06-22
\| \|_\|/ \|/\| \|
* \| \|	Merge PR #7774: [build] Fix checks and notes noting 4.02.1 instead of 4.02.3	Maxime Dénès	2018-06-21
\|\ \ \
\| \| * \|	Update dpdgraph branch name	Gaëtan Gilbert	2018-06-21
\| \|/ / \|/\| \|
* \| \|	Merge PR #7797: Remove reference name type.	Enrico Tassi	2018-06-19
\|\ \ \
\| * \| \|	Overlay for reference removal	Maxime Dénès	2018-06-18
* \| \| \|	Update section on adding your project to CI and link to example PR.	Théo Zimmermann	2018-06-18
\| * \| \|	Remove reference name type.	Maxime Dénès	2018-06-18
\|/ / /