coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Further cleanup: do not export the closed_term Ltac entry.	Pierre-Marie Pédrot	2018-06-21
*	Remove reference name type.	Maxime Dénès	2018-06-18
*	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
*	[printing] Deprecate all printing functions accessing the global proof.	Emilio Jesus Gallego Arias	2017-11-21
*	[api] Remove type equalities from API.	Emilio Jesus Gallego Arias	2017-07-25
*	[API] Remove `open API` in ml files in favor of `-open API` flag.	Emilio Jesus Gallego Arias	2017-07-17
*	Put all plugins behind an "API".	Matej Kosik	2017-06-07
*	Merge branch 'trunk' into pr379	Maxime Dénès	2017-03-24
\|\
\| *	Moving the Ltac plugin to a pack-based one.	Pierre-Marie Pédrot	2017-02-17
* \|	Ltac now uses evar-based constrs.	Pierre-Marie Pédrot	2017-02-14
* \|	Setoid_ring API using EConstr.	Pierre-Marie Pédrot	2017-02-14
* \|	Quote API using EConstr.	Pierre-Marie Pédrot	2017-02-14
\|/
*	Merging Stdarg and Constrarg.	Pierre-Marie Pédrot	2016-09-21
*	Moving Ltac-specific generic arguments to their own file in the ltac/ folder.	Pierre-Marie Pédrot	2016-09-15
*	Moving Ltac-specific parsing API to ltac/ folder.	Pierre-Marie Pédrot	2016-09-14
*	Removing tactic compatibility layers in setoid_ring.	Pierre-Marie Pédrot	2016-06-24
*	Adding printers for ring and field commands.	Hugo Herbelin	2016-06-16
*	Feedback cleanup	Emilio Jesus Gallego Arias	2016-05-31
*	Removing dead code and unused opens.	Pierre-Marie Pédrot	2016-05-08
*	Revert "Adding printers for ring and field commands."	Hugo Herbelin	2016-04-27
*	Adding printers for ring and field commands.	Hugo Herbelin	2016-04-27
*	Getting rid of the "_mods" parsing entry.	Pierre-Marie Pédrot	2016-04-01
*	Removing the special status of generic entries defined by Coq itself.	Pierre-Marie Pédrot	2016-03-17
*	Adding a proper interface to Newring.	Pierre-Marie Pédrot	2015-01-25