coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Make Environ.globals abstract.	Gaëtan Gilbert	2018-06-28
*	Remove Sorts.contents	Gaëtan Gilbert	2018-06-26
*	Remove reference name type.	Maxime Dénès	2018-06-18
*	Merge PR #7521: Fix soundness bug with VM/native and cofixpoints	Pierre-Marie Pédrot	2018-05-28
\|\
\| *	Unify pre_env and env	Maxime Dénès	2018-05-28
* \|	Remove some occurrences of Evd.empty	Maxime Dénès	2018-05-25
\|/
*	Split off Universes functions about substitutions and constraints	Gaëtan Gilbert	2018-05-17
*	Split off Universes functions dealing with names.	Gaëtan Gilbert	2018-05-17
*	Always print explanation for univ inconsistency, rm Flags.univ_print	Gaëtan Gilbert	2018-04-26
*	Evar maps contain econstrs.	Gaëtan Gilbert	2018-04-13
*	[located] Push inner locations in `reference` to a CAst.t node.	Emilio Jesus Gallego Arias	2018-03-09
*	Merge PR #6855: Update headers following #6543.	Maxime Dénès	2018-03-05
\|\
* \|	[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
\|/
*	Change references to CAMLP4 to CAMLP5 to be more accurate since we no	Jim Fehrle	2018-02-17
*	Merge PR #6448: Cleanup and add debug printers a bit	Maxime Dénès	2018-01-18
\|\
* \|	[API] remove large file containing duplicate interfaces	Enrico Tassi	2017-12-27
\| *	Cleanup debug printers a bit, add generated mli.	Gaëtan Gilbert	2017-12-22
\|/
*	[api] Remove aliases of `Evar.t`	Emilio Jesus Gallego Arias	2017-11-26
*	Merge PR #6197: [plugin] Remove LocalityFixme über hack.	Maxime Dénès	2017-11-24
\|\
\| *	[plugin] Remove LocalityFixme über hack.	Emilio Jesus Gallego Arias	2017-11-22
* \|	[api] Miscellaneous consolidation + moves to engine.	Emilio Jesus Gallego Arias	2017-11-21
\|/
*	[printing] Deprecate all printing functions accessing the global proof.	Emilio Jesus Gallego Arias	2017-11-21
*	[plugins] Prepare plugin API for functional handling of state.	Emilio Jesus Gallego Arias	2017-11-19
*	[api] Another large deprecation, `Nameops`	Emilio Jesus Gallego Arias	2017-11-13
*	Merge PR #6098: [api] Move structures deprecated in the API to the core.	Maxime Dénès	2017-11-13
\|\
* \	Merge PR #6124: Adding a debugging printer for ident maps whose codomain type...	Maxime Dénès	2017-11-13
\|\ \
\| * \|	Adding a debugging printer for ident maps whose codomain type is unknown.	Hugo Herbelin	2017-11-08
\| \| *	[api] Move structures deprecated in the API to the core.	Emilio Jesus Gallego Arias	2017-11-06
\| \|/ \|/\|
* \|	[api] Deprecate all legacy uses of Names in core.	Emilio Jesus Gallego Arias	2017-11-06
\|/
*	provide "loc : Loc.t" binding within "VERNAC COMMAND EXTEND" rules	Matej Košík	2017-11-01
*	[general] Remove Econstr dependency from `intf`	Emilio Jesus Gallego Arias	2017-10-25
*	[api] Remove type equalities from API.	Emilio Jesus Gallego Arias	2017-07-25
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
*	Add missing definition and fix #use include;; as suggested by @amintimany.	Théo Zimmermann	2017-06-22
*	Fix a bug in cumulativity	Amin Timany	2017-06-16
*	Clean up universes of constants and inductives	Amin Timany	2017-06-16
*	Squashed commit of the following:	Amin Timany	2017-06-16
*	Remove (useless) aliases from the API.	Matej Košík	2017-06-10
*	Put all plugins behind an "API".	Matej Kosik	2017-06-07
*	Merge branch 'trunk' into located_switch	Emilio Jesus Gallego Arias	2017-05-24
\|\
\| *	Adding support for using grammar entries returning no value in EXTEND.	Hugo Herbelin	2017-05-16
\| *	Fix warnings in top_printers	Gaetan Gilbert	2017-05-08
\| *	Remove unused [open] statements	Gaetan Gilbert	2017-04-27
\| *	Locally disable some warnings.	Gaetan Gilbert	2017-04-27
* \|	[location] Remove `Loc.internal_ghost`	Emilio Jesus Gallego Arias	2017-04-25
* \|	[location] Remove Loc.ghost.	Emilio Jesus Gallego Arias	2017-04-25
* \|	[location] Switch glob_constr to Loc.located	Emilio Jesus Gallego Arias	2017-04-24
\|/
*	Merge branch 'trunk' into pr379	Maxime Dénès	2017-03-24
\|\
\| *	[pp] Make feedback the only logging mechanism.	Emilio Jesus Gallego Arias	2017-03-21