coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Correct some spelling errorsmaster	Benjamin Barenblat	2018-07-22
*	Introduce a Pcoq.Entry module for functions that ought to be exported.	Pierre-Marie Pédrot	2018-07-07
*	Split the Ssrmatching module between code and grammar rules.	Pierre-Marie Pédrot	2018-06-30
*	[ssr] matching: use eq_constr_nounivs in approximated matching	Enrico Tassi	2018-06-22
*	Remove reference name type.	Maxime Dénès	2018-06-18
*	[api] Misctypes removal: several moves:	Emilio Jesus Gallego Arias	2018-06-12
*	Make direct invocations of `simple apply` obey `Opaque` directive.	Maxime Dénès	2018-06-05
*	Remove some occurrences of Evd.empty	Maxime Dénès	2018-05-25
*	Convert clear_hyps_in_evi to state passing style.	Gaëtan Gilbert	2018-05-11
*	Evar maps contain econstrs.	Gaëtan Gilbert	2018-04-13
*	[ssreflect] Respect Opaque in FO unification	Maxime Dénès	2018-03-20
*	[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
*	Merge PR #6893: Cleanup UState API usage	Maxime Dénès	2018-03-08
\|\
\| *	Deprecate UState aliases in Evd.	Gaëtan Gilbert	2018-03-06
* \|	Escape curly braces in ocamldoc comment	mrmr1993	2018-03-05
* \|	Separate vim/emacs fold markers from ocamldoc comments	mrmr1993	2018-03-05
\|/
*	Merge PR #6855: Update headers following #6543.	Maxime Dénès	2018-03-05
\|\
* \|	ssr: rewrite Ssripats and Ssrview in the tactic monad	Enrico Tassi	2018-03-04
* \|	[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
\|/
*	[ast] Improve precision of Ast location recognition in serialization.	Emilio Jesus Gallego Arias	2018-02-22
*	Adding support for parsing subterms of a notation as "pattern".	Hugo Herbelin	2018-02-20
*	Moving the argument of CProdN/CLambdaN from binder_expr to local_binder_expr.	Hugo Herbelin	2018-02-20
*	Change references to CAMLP4 to CAMLP5 to be more accurate since we no	Jim Fehrle	2018-02-17
*	Merge PR #6116: ssr: fill_occ_pattern: return valid ustate even if no match (...	Maxime Dénès	2017-12-14
\|\
* \|	[api] Remove aliases of `Evar.t`	Emilio Jesus Gallego Arias	2017-11-26
* \|	[printing] Deprecate all printing functions accessing the global proof.	Emilio Jesus Gallego Arias	2017-11-21
\| *	ssr: fill_occ_pattern: return valid ustate even if no match (fix #6106)	Enrico Tassi	2017-11-09
* \|	[api] Move structures deprecated in the API to the core.	Emilio Jesus Gallego Arias	2017-11-06
\|/
*	ssr: fix canonical strucut key comparison with primproj on	Enrico Tassi	2017-09-20
*	Making detyping potentially lazy.	Pierre-Marie Pédrot	2017-09-04
*	deprecate Pp.std_ppcmds type alias	Matej Košík	2017-07-27
*	[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
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
*	Removing Proof_type from the API.	Pierre-Marie Pédrot	2017-06-16
*	Merge PR#718: API cleanup: aliases	Maxime Dénès	2017-06-12
\|\
* \|	Remove remaining vo.itarget files (obsolete since PR #499)	Pierre Letouzey	2017-06-10
\| *	Remove (useless) aliases from the API.	Matej Košík	2017-06-10
\|/
*	Put all plugins behind an "API".	Matej Kosik	2017-06-07
*	Drop '.' from CErrors.anomaly, insert it in args	Jason Gross	2017-06-02
*	[cleanup] Unify all calls to the error function.	Emilio Jesus Gallego Arias	2017-05-27
*	Merge PR#481: [option] Remove support for non-synchronous options.	Maxime Dénès	2017-05-25
\|\
* \	Merge branch 'trunk' into located_switch	Emilio Jesus Gallego Arias	2017-05-24
\|\ \
\| \| *	[option] Remove support for non-synchronous options.	Emilio Jesus Gallego Arias	2017-05-24
\| \|/
\| *	Remove unused [open] statements	Gaetan Gilbert	2017-04-27
\| *	Remove unused constructors	Gaetan Gilbert	2017-04-27
\| *	Remove some unused values and types	Gaetan Gilbert	2017-04-27
\| *	Fix omitted labels in function calls	Gaetan Gilbert	2017-04-27