coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
*	Namegen primitives now apply on evar constrs.	Pierre-Marie Pédrot	2017-02-14
*	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-29
\|\
\| *	Add missing dot to impargs error message.	Maxime Dénès	2016-10-27
\| *	Proper fix for #3753 (anomaly with implicit arguments and renamings)	Maxime Dénès	2016-10-27
\| *	Complete overhaul of the Arguments vernacular.	Maxime Dénès	2016-10-27
* \|	Merge PR #244.	Pierre-Marie Pédrot	2016-09-08
\|\ \
* \| \|	CLEANUP: switching from "right-to-left" to "left-to-right" function compositi...	Matej Kosik	2016-08-30
* \| \|	CLEANUP: using \|> operator more consistently	Matej Kosik	2016-08-30
* \| \|	CLEANUP: minor readability improvements	Matej Kosik	2016-08-24
* \| \|	CLEANUP: removing superfluous (module) qualifiers	Matej Kosik	2016-08-24
* \| \|	Changing the definition of the "Lib.variable.info" type to enable us to do mo...	Matej Kosik	2016-08-24
\| \|/ \|/\|
* \|	More standard naming for the Imparg.with_implicits function.	Pierre-Marie Pédrot	2016-08-20
* \|	Removing dead code in Impargs.	Pierre-Marie Pédrot	2016-08-19
\| *	Make the user_err header an optional parameter.	Emilio Jesus Gallego Arias	2016-08-19
\| *	Remove errorlabstrm in favor of user_err	Emilio Jesus Gallego Arias	2016-08-19
\|/
*	errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...	Pierre Letouzey	2016-07-03
*	Separate flags for fix/cofix/match reduction and clean reduction function names.	Maxime Dénès	2016-07-01
*	Exporting section_segment_of_reference.	Hugo Herbelin	2016-06-29
*	CLEANUP: Context.{Rel,Named}.Declaration.t	Matej Kosik	2016-02-09
*	Update copyright headers.	Maxime Dénès	2016-01-20
*	Fix some typos.	Guillaume Melquiond	2015-10-13
*	Remove almost all the uses of string concatenation when building error messages.	Guillaume Melquiond	2015-04-23
*	Update headers.	Maxime Dénès	2015-01-12
*	Getting rid of Exninfo hacks.	Pierre-Marie Pédrot	2014-12-16
*	Reverting the following block of three commits:	Hugo Herbelin	2014-11-27
*	Registering strict implicit arguments systematically.	Hugo Herbelin	2014-11-26
*	Keyed unification option, compiling the whole standard library	Matthieu Sozeau	2014-09-27
*	Parsing and printing of primitive projections, fix buggy behavior when	Matthieu Sozeau	2014-09-10
*	- Fix printing and parsing of primitive projections, including the Set	Matthieu Sozeau	2014-09-09
*	Move to a representation of universe polymorphic constants using indices for ...	Matthieu Sozeau	2014-08-03
*	Removing dead code.	Pierre-Marie Pédrot	2014-06-17
*	- Fix the de Bruijn problem in check_projection for good :)	Matthieu Sozeau	2014-06-17
*	Fix printing of projections with implicits.	Matthieu Sozeau	2014-05-06
*	Initial work on reintroducing old-style polymorphism for compatibility (the s...	Matthieu Sozeau	2014-05-06
*	This commit adds full universe polymorphism and fast projections to Coq.	Matthieu Sozeau	2014-05-06
*	Fix Bug 3217	Pierre Boutillier	2014-04-02
*	Fixing pervasive comparisons	Pierre-Marie Pédrot	2014-03-01
*	Turn many List.assoc into List.assoc_f	letouzey	2013-10-24
*	Get rid of the uses of deprecated OCaml elements (still remaining compatible ...	xclerc	2013-09-19
*	code simplifications concerning Summary	letouzey	2013-04-22
*	Restrict (try...with...) to avoid catching critical exn (part 8)	letouzey	2013-03-13
*	Actually adding backtrace handling.	ppedrot	2013-01-28
*	Uniformization of the "anomaly" command.	ppedrot	2013-01-28
*	Modulification of identifier	ppedrot	2012-12-14
*	Monomorphization (library)	ppedrot	2012-11-22
*	Remove some more "open" and dead code thanks to OCaml4 warnings	letouzey	2012-10-02
*	As r15801: putting everything from Util.array_* to CArray.*.	ppedrot	2012-09-14
*	Moving Utils.list_* to a proper CList module, which includes stdlib	ppedrot	2012-09-14