coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Adding support for using grammar entries returning no value in EXTEND.	Hugo Herbelin	2017-05-16
*	Allow flexible anonymous universes in instances and sorts.	Gaetan Gilbert	2017-05-03
*	Merge PR#582: Fix warnings	Maxime Dénès	2017-05-02
\|\
* \	Merge PR#531: Fixing bug #5420 and many similar bugs due to the presence of l...	Maxime Dénès	2017-04-28
\|\ \
\| \| *	Fix 4.04 warnings	Gaetan Gilbert	2017-04-27
\| \| *	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
\| \|/ \|/\|
* \|	Merge PR#579: [flags] Deprecate is_silent/is_verbose in favor of single flag.	Maxime Dénès	2017-04-24
\|\ \
* \| \|	Remove VernacError	Gaetan Gilbert	2017-04-21
\| * \|	[flags] Deprecate is_silent/is_verbose in favor of single flag.	Emilio Jesus Gallego Arias	2017-04-21
\|/ /
* \|	Merge PR#422: Supporting all kinds of binders, including 'pat, in syntax of r...	Maxime Dénès	2017-04-12
\|\ \
\| \| *	Removing internal support for accepting "{struct x}" and co in "Theorem with".	Hugo Herbelin	2017-04-09
\| \|/ \|/\|
* \|	[camlpX] Remove camlp4 compat layer.	Emilio Jesus Gallego Arias	2017-04-07
* \|	Merge PR#417: No cast surgery in let in	Maxime Dénès	2017-04-03
\|\ \
* \| \|	[stm] Remove some obsolete vernacs/classification.	Emilio Jesus Gallego Arias	2017-03-24
\| * \|	Applying same convention as in Definition for parsing type in a let in.	Hugo Herbelin	2017-03-24
\| * \|	Replacing "cast surgery" in LetIn by a proper field (see PR #404).	Hugo Herbelin	2017-03-24
\| * \|	Unifying standard "constr_level" names for constructors of local_binder_expr.	Hugo Herbelin	2017-03-24
\| * \|	Renaming local_binder into local_binder_expr.	Hugo Herbelin	2017-03-24
\| * \|	"Standardizing" the name LocalPatten into LocalRawPattern.	Hugo Herbelin	2017-03-24
\|/ /
\| *	Supporting arbitrary binders in record fields, including e.g. patterns.	Hugo Herbelin	2017-03-23
\| *	Removing a redundant line in the syntax of record fields.	Hugo Herbelin	2017-03-23
\| *	Factorizing/unifying code in dealing with binders.	Hugo Herbelin	2017-03-23
\| *	Improving the API of constrexpr_ops.mli.	Hugo Herbelin	2017-03-23
\|/
*	Merge branch 'v8.6'	Pierre-Marie Pédrot	2017-03-22
\|\
* \|	[pp] Remove special tag type and handler from Pp.	Emilio Jesus Gallego Arias	2017-03-21
* \|	[pp] Replace `Pp.Tag` by `Ppstyle.tag` = `string list`	Emilio Jesus Gallego Arias	2017-03-21
* \|	[safe-string] parsing/cLexer	Emilio Jesus Gallego Arias	2017-03-14
\| *	don't require printing-only notation to be productive	Ralf Jung	2017-02-16
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-12-07
\|\\|
\| *	Fixing lexing of strings in comments for beautifier.	Hugo Herbelin	2016-12-02
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-11-30
\|\\|
\| *	Fix #5174: Underinformative syntax error messages in the new arguments syntax	Maxime Dénès	2016-11-30
\| *	Fix some documentation typos.	Guillaume Melquiond	2016-11-24
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-11-18
\|\\|
\| *	Revert "Merge remote-tracking branch 'github/pr/360' into v8.6"	Maxime Dénès	2016-11-18
\| *	[stm] Remove STM-related vernaculars	Emilio Jesus Gallego Arias	2016-11-17
\| *	Merge remote-tracking branch 'github/pr/339' into v8.6	Maxime Dénès	2016-11-07
\| \|\
\| * \|	Removing obsolete parsing of strings à la v7 in comments.	Hugo Herbelin	2016-11-05
\| * \|	Merge remote-tracking branch 'github/pr/340' into v8.6	Maxime Dénès	2016-11-03
\| \|\ \
\| \| \| *	Lets Hints/Instances take an optional pattern	Matthieu Sozeau	2016-11-03
\| * \| \|	Better Arguments compatibility.	Maxime Dénès	2016-11-02
\| \| \|/ \| \|/\|
\| \| *	Fix various shortcomings of the warnings infrastructure.	Maxime Dénès	2016-11-02
\| \|/
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-29
\|\\|
\| *	Merge remote-tracking branch 'github/pr/319' into v8.6	Maxime Dénès	2016-10-28
\| \|\
\| * \	Merge remote-tracking branch 'github/pr/337' into v8.6	Maxime Dénès	2016-10-28
\| \|\ \
\| \| * \|	Complete overhaul of the Arguments vernacular.	Maxime Dénès	2016-10-27
* \| \| \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-24
\|\\| \| \|