coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Improve merging and overlay documentations.	Théo Zimmermann	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
\|/
*	[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
\|\
\| *	overlay for #6493	Enrico Tassi	2017-12-27
* \|	Add equations overlay.	Maxime Dénès	2017-12-27
\|/
*	Fix overlay selection for Circle CI.	Gaëtan Gilbert	2017-12-26
*	Delete old overlays (leaving example)	Gaëtan Gilbert	2017-12-26
*	Merge PR #6217: Do dependencies in 1 command per file class.	Maxime Dénès	2017-12-18
\|\
* \	Merge PR #6413: [econstr] Switch constrintern API to non-imperative style.	Maxime Dénès	2017-12-18
\|\ \
\| \| *	Overlay for unimath.	Gaëtan Gilbert	2017-12-15
* \| \|	Merge PR #6392: [econstr] Cleanup in `vernac/classes.ml`	Maxime Dénès	2017-12-15
\|\ \ \
\| \| * \|	[econstr] Switch constrintern API to non-imperative style.	Emilio Jesus Gallego Arias	2017-12-15
\| \|/ /
\| * \|	[econstr] Cleanup in `vernac/classes.ml`.	Emilio Jesus Gallego Arias	2017-12-13
* \| \|	Add overlay.	Théo Zimmermann	2017-12-11
\|/ /
* \|	Merge PR #6324: Fix #6323: stronger restrict universe context vs abstract.	Maxime Dénès	2017-12-11
\|\ \
* \ \	Merge PR #6158: Allows a level in the raw and glob printers	Maxime Dénès	2017-12-08
\|\ \ \ \| \|_\|/ \|/\| \|
\| \| *	Overlay for Equations.	Gaëtan Gilbert	2017-12-06
\| \|/ \|/\|
\| *	Adding overlay for ltac2.	Hugo Herbelin	2017-11-27
* \|	Overlay for stronger restrict_universe_context.	Gaëtan Gilbert	2017-11-25
\|/
*	[plugin] Remove LocalityFixme über hack.	Emilio Jesus Gallego Arias	2017-11-22
*	Each user overlay goes into its own file.	Théo Zimmermann	2017-06-16