coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Document that GITURL variables shouldn't have a trailing .git anymore.	Théo Zimmermann	2018-06-29
*	Adding overlay.	Hugo Herbelin	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
\|\ \
\| \| *	Add overlay for elpi	Gaëtan Gilbert	2018-06-26
\| * \|	Add overlay for Equations, Elpi	Gaëtan Gilbert	2018-06-26
\| \|/
* /	Reuse CI info to know which version of plugins to build on Windows.	Théo Zimmermann	2018-06-25
\|/
*	Overlay for reference removal	Maxime Dénès	2018-06-18
*	Merge PR #664: Fixing #5500 (missing test in return clause of match leading t...	Matthieu Sozeau	2018-06-14
\|\
* \|	Markdown docs: switch from absolute to relative links.	Théo Zimmermann	2018-06-13
* \|	[api] Add compatiblity Misctypes module.	Emilio Jesus Gallego Arias	2018-06-12
* \|	Merge PR #7099: Stronger invariants in unification signature.	Matthieu Sozeau	2018-06-05
\|\ \
* \ \	Merge PR #7495: Fix restrict_universe_context	Matthieu Sozeau	2018-06-05
\|\ \ \
\| \| * \|	Adding an overlay for the Equations plugin.	Pierre-Marie Pédrot	2018-06-04
\| \|/ / \|/\| \|
\| * \|	overlay triggering bug #7472 (that #7495) is supposed to fix	Enrico Tassi	2018-05-30
* \| \|	[api] Make `vernac/` self-contained.	Emilio Jesus Gallego Arias	2018-05-27
\|/ /
* \|	Merge PR #7543: [ide] Move common protocol library to its own folder/object.	Pierre-Marie Pédrot	2018-05-26
\|\ \
* \| \|	[tactics] Remove anonymous fix/cofix form.	Emilio Jesus Gallego Arias	2018-05-24
* \| \|	Complete rewrite of the documentation of overlays after Jim's additional comm...	Théo Zimmermann	2018-05-24
* \| \|	Relax advice on the name of user-overlays following Gaëtan's suggestion.	Théo Zimmermann	2018-05-24
* \| \|	Improve merging and overlay documentations.	Théo Zimmermann	2018-05-24
\| * \|	[ide] Move common protocol library to its own folder/object.	Emilio Jesus Gallego Arias	2018-05-24
\|/ /
* \|	[stm] Make toplevels standalone executables.	Emilio Jesus Gallego Arias	2018-05-21
* \|	Merge PR #7213: Do not compute constr matching context if not used.	Matthieu Sozeau	2018-05-15
\|\ \
* \ \	Merge PR #7152: [api] Remove dependency of library on Vernacexpr.	Pierre-Marie Pédrot	2018-04-23
\|\ \ \
* \| \| \|	Overlay for econstr in Evd.	Gaëtan Gilbert	2018-04-13
* \| \| \|	Merge PR #6454: [econstr] Flag to make `to_constr` fail if its output contain...	Pierre-Marie Pédrot	2018-04-13
\|\ \ \ \
\| \| \| * \|	Adding an overlay for Ltac2.	Pierre-Marie Pédrot	2018-04-11
\| \|_\|/ / \|/\| \| \|
* \| \| \|	Merge PR #6809: Improve shell scripts	Michael Soegtrop	2018-04-08
\|\ \ \ \
\| \| \| * \|	[api] Remove dependency of library on Vernacexpr.	Emilio Jesus Gallego Arias	2018-04-06
\| * \| \| \|	Improve shell scripts	zapashcanon	2018-04-05
\| \| \|/ / \| \|/\| \|
* / \| \|	[api] Move some types to their proper module.	Emilio Jesus Gallego Arias	2018-04-02
\|/ / /
\| * /	[econstr] Forbid calling `to_constr` in open terms.	Emilio Jesus Gallego Arias	2018-03-31
\|/ /
\| *	Adding a fiat-parser overlay	Hugo Herbelin	2018-03-27
\|/
*	[ssreflect] Fix module scoping problems due to packing and mli files.	Emilio Jesus Gallego Arias	2018-03-10
*	[located] Push inner locations in `reference` to a CAst.t node.	Emilio Jesus Gallego Arias	2018-03-09
*	[located] More work towards using CAst.t	Emilio Jesus Gallego Arias	2018-03-09
*	Merge PR #6775: Allow using cumulativity without forcing strict constraints.	Maxime Dénès	2018-03-09
\|\
\| *	Overlay for Elpi.	Gaëtan Gilbert	2018-03-09
* \|	Add an overlay for Equations and Ltac2.	Pierre-Marie Pédrot	2018-03-09
\|/
*	Merge PR #6511: [econstr] Continue consolidation of EConstr API under `interp`.	Maxime Dénès	2018-03-04
\|\
* \	Merge PR #6676: [proofview] goals come with a state	Maxime Dénès	2018-03-04
\|\ \
\| \| *	[econstr] Continue consolidation of EConstr API under `interp`.	Emilio Jesus Gallego Arias	2018-02-28
\| \|/ \|/\|
* \|	[ast] Improve precision of Ast location recognition in serialization.	Emilio Jesus Gallego Arias	2018-02-22
\| *	overlay for ltac2 and Equations	Enrico Tassi	2018-02-20
\|/
*	Add overlay for equations (nf_beta takes an env)	Gaëtan Gilbert	2018-02-05
*	Merge PR #6535: Cleanup name-binding structure for fresh evar name generation.	Maxime Dénès	2018-01-31
\|\
\| *	Adding an overlay for Equations.	Pierre-Marie Pédrot	2018-01-30
* \|	Adding a custom Travis overlay for HoTT.	Pierre-Marie Pédrot	2018-01-11
\|/
*	Merge PR #6493: [API] remove large file containing duplicate interfaces	Maxime Dénès	2017-12-29
\|\