coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[api] Rename `global_reference` to `GlobRef.t` to follow kernel style.	Emilio Jesus Gallego Arias	2018-05-04
*	Update headers following #6543.	Théo Zimmermann	2018-02-27
*	Fixing #5401 (printing of patterns with bound anonymous variables).	Hugo Herbelin	2017-10-28
*	[general] Remove Econstr dependency from `intf`	Emilio Jesus Gallego Arias	2017-10-25
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
*	Remove unused [open] statements	Gaetan Gilbert	2017-04-27
*	Quick hack to fix interpretation of patterns in Ltac.	Pierre-Marie Pédrot	2017-02-14
*	Patternops API using EConstr.	Pierre-Marie Pédrot	2017-02-14
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-21
\|\
\| *	Update copyright headers.	Maxime Dénès	2016-01-20
* \|	Reduce dependencies of interface files.	Guillaume Melquiond	2016-01-02
\|/
*	Fix bug #4433, removing hack on evars appearing in a pattern from a	Matthieu Sozeau	2015-11-19
*	Fix bug #3590, keeping evars that are not turned into named metas by	Matthieu Sozeau	2015-03-03
*	Update headers.	Maxime Dénès	2015-01-12
*	Add a boolean to indicate the unfolding state of a primitive projection,	Matthieu Sozeau	2014-09-27
*	Remove many superfluous 'open' indicated by ocamlc -w +33	Pierre Letouzey	2014-03-05
*	Replacing lists by maps in matching interpretation.	ppedrot	2013-06-05
*	Merging Context and Sign.	ppedrot	2013-04-29
*	Modulification of identifier	ppedrot	2012-12-14
*	Added a constr_pattern_eq	ppedrot	2012-11-23
*	Updating headers.	herbelin	2012-08-08
*	global_reference migrated from Libnames to new Globnames, less deps in gramma...	letouzey	2012-05-29
*	Pattern as a mli-only file, operations in Patternops	letouzey	2012-05-29