coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Split off Universes functions dealing with names.	Gaëtan Gilbert	2018-05-17
*	[api] Move bullets and goals selectors to `proofs/`	Emilio Jesus Gallego Arias	2018-05-01
*	Merge PR #6935: Separate universe minimization and evar normalization functions	Pierre-Marie Pédrot	2018-04-30
\|\
* \	Merge PR #6958: [lib] Move global options to their proper place.	Maxime Dénès	2018-04-30
\|\ \
* \ \	Merge PR #7152: [api] Remove dependency of library on Vernacexpr.	Pierre-Marie Pédrot	2018-04-23
\|\ \ \
\| \| \| *	Deprecate mixing univ minimization and evm normalization functions.	Gaëtan Gilbert	2018-04-17
\| \|_\|/ \|/\| \|
* \| \|	Evar maps contain econstrs.	Gaëtan Gilbert	2018-04-13
\| * \|	[api] Remove dependency of library on Vernacexpr.	Emilio Jesus Gallego Arias	2018-04-06
\|/ /
* \|	Merge PR #7016: Make parsing independent of the cumulativity flag.	Enrico Tassi	2018-04-05
\|\ \
* \ \	Merge PR #7138: [stm] Move VernacBacktrack to the toplevel.	Enrico Tassi	2018-04-04
\|\ \ \
\| \| \| *	[lib] Move global options to their proper place.	Emilio Jesus Gallego Arias	2018-04-02
\| \|_\|/ \|/\| \|
\| * \|	[stm] Move VernacBacktrack to the toplevel.	Emilio Jesus Gallego Arias	2018-04-01
* \| \|	Remove deprecated commands Arguments Scope and Implicit Arguments	Jasper Hugunin	2018-03-30
\|/ /
\| *	bool option -> (VernacCumulative \| VernacNonCumulative) option	Gaëtan Gilbert	2018-03-22
\| *	Make parsing independent of the cumulativity flag.	Gaëtan Gilbert	2018-03-21
* \|	[vernac] Move `Quit` and `Drop` to the toplevel layer.	Emilio Jesus Gallego Arias	2018-03-11
\|/
*	[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
*	Implement the Export Set/Unset feature.	Pierre-Marie Pédrot	2018-03-09
*	Export the various option localities in the API.	Pierre-Marie Pédrot	2018-03-09
*	Merge PR #6816: Adding mention of shelved/given-up status in Show Existentials	Maxime Dénès	2018-03-08
\|\
* \	Merge PR #6893: Cleanup UState API usage	Maxime Dénès	2018-03-08
\|\ \
* \| \|	[vernac] Warn when using “Require” in a section	Vincent Laporte	2018-03-07
\| * \|	Rename some universe minimizing "normalize" functions to "minimize"	Gaëtan Gilbert	2018-03-06
\|/ /
* \|	Merge PR #6855: Update headers following #6543.	Maxime Dénès	2018-03-05
\|\ \
* \ \	Merge PR #6511: [econstr] Continue consolidation of EConstr API under `interp`.	Maxime Dénès	2018-03-04
\|\ \ \
* \| \| \|	[toplevel] [vernac] Remove Load hack and check supported scenarios.	Emilio Jesus Gallego Arias	2018-02-28
\| * \| \|	[econstr] Continue consolidation of EConstr API under `interp`.	Emilio Jesus Gallego Arias	2018-02-28
\|/ / /
\| * /	Update headers following #6543.	Théo Zimmermann	2018-02-27
\|/ /
* \|	Merge PR #6784: New IR in VM: Clambda	Maxime Dénès	2018-02-24
\|\ \
\| * \|	New IR in VM: Clambda.	Maxime Dénès	2018-02-23
\| \| *	Adding mention of shelved/given-up status in "Show Existentials".	Hugo Herbelin	2018-02-22
* \| \|	[ast] Improve precision of Ast location recognition in serialization.	Emilio Jesus Gallego Arias	2018-02-22
\| \|/ \|/\|
* \|	Fix #6529: nf_evar_info and check the env evars' not just the concl	Matthieu Sozeau	2018-02-19
\|/
*	[vernac] Fix outdated comment.	Emilio Jesus Gallego Arias	2018-02-09
*	[vernac] [minor] Move print effects to top-level caller.	Emilio Jesus Gallego Arias	2018-02-09
*	[error] Replace msg_error by a proper exception.	Emilio Jesus Gallego Arias	2018-02-09
*	Merge PR #6686: Kernel/checker reduction cleanups around projection unfolding	Maxime Dénès	2018-02-07
\|\
\| *	Reductionops.nf_* now take an environment.	Gaëtan Gilbert	2018-02-02
* \|	[vernac] Mutual theorems (VernacStartTheoremProof) always have names	Vincent Laporte	2018-02-01
* \|	[vernac] Remove VernacGoal, allow anonymous definitions in VernacDefinition	Vincent Laporte	2018-02-01
\|/
*	[toplevel] Refactor load path handling.	Emilio Jesus Gallego Arias	2018-01-29
*	Merge PR #6499: [vernac] Move the flags/attributes out of vernac_expr	Maxime Dénès	2018-01-16
\|\
\| *	[vernac] vernac_expr no longer recursive	Vincent Laporte	2018-01-08
* \|	Brackets support single numbered goal selectors.	Théo Zimmermann	2018-01-05
\| *	[vernac] adds the “program” flag to the “atts” record	Vincent Laporte	2017-12-29
\|/
*	Merge PR #6405: Remove the local polymorphic flag hack.	Maxime Dénès	2017-12-29
\|\
\| *	Remove the local polymorphic flag hack.	Maxime Dénès	2017-12-27
* \|	[flags] Move global time flag into an attribute.	Emilio Jesus Gallego Arias	2017-12-23
\|/
*	Separate vernac controls and regular commands.	Maxime Dénès	2017-12-20