coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	coq_makefile: make sure compile flags for Coq and coq_makefile are in sync	Emilio Jesus Gallego Arias	2017-09-19
*	Making detyping potentially lazy.	Pierre-Marie Pédrot	2017-09-04
*	Merge PR #980: Adding combinators + a canonical renaming in List, Option, Name	Maxime Dénès	2017-08-31
\|\
* \	Merge PR #989: Prevent overallocation in Array.map_to_list and remove custom ...	Maxime Dénès	2017-08-31
\|\ \
* \ \	Merge PR #773: [flags] Remove XML output flag.	Maxime Dénès	2017-08-29
\|\ \ \
\| \| \| *	Canonically renaming fold_map into fold_left_map in library Option.	Hugo Herbelin	2017-08-29
\| \| \| *	Canonically renaming fold_map into fold_left_map in library Array.	Hugo Herbelin	2017-08-29
\| \| \| *	Adding combinators + a canonical renaming in cList.ml.	Hugo Herbelin	2017-08-29
\| \|_\|/ \|/\| \|
\| \| *	Prevent overallocation in Array.map_to_list and remove custom implementation ...	Guillaume Melquiond	2017-08-22
\| \|/ \|/\|
* \|	Merge PR #490: A possible fix for #5391 (command line tools do not accept tra...	Maxime Dénès	2017-08-17
\|\ \
* \ \	Merge PR #864: Some cleanups after cumulativity for inductive types	Maxime Dénès	2017-08-16
\|\ \ \
\| \| * \|	Removing trailing "/" and "\" in directory names only on win32.	Hugo Herbelin	2017-08-15
\| \| \| *	[flags] Remove XML output flag.	Emilio Jesus Gallego Arias	2017-08-01
\| \|_\|/ \|/\| \|
\| * \|	Change the option for cumulativity	Amin Timany	2017-07-31
* \| \|	Merge PR #761: deprecate Pp.std_ppcmds type and promote Pp.t instead	Maxime Dénès	2017-07-31
\|\ \ \ \| \|/ / \|/\| \|
\| * \|	deprecate Pp.std_ppcmds type alias	Matej Košík	2017-07-27
\| \|/
* \|	Merge PR #902: Only perform profile initialization and printing when the flag...	Maxime Dénès	2017-07-26
\|\ \
* \| \|	Adding a V8.7 compatibility version number.	Hugo Herbelin	2017-07-21
\| \|/ \|/\|
* \|	PMP sold us a Timeout on Windows with 1s resolution. Trying to improve it.	Maxime Dénès	2017-07-21
* \|	coq_makefile: use System.exists_dir for better portability	Enrico Tassi	2017-07-20
* \|	Windows: Sys.is_dir "foo/" always says no (so we strip trailing slash)	Enrico Tassi	2017-07-20
\| *	Also a less intrusive Profile.init_profile.	Hugo Herbelin	2017-07-20
\| *	A less intrusive Profile.close_profile.	Hugo Herbelin	2017-07-20
* \|	Merge PR #898: [pp] Fix bugs 5651 [incorrect thunk in pretty printer]	Maxime Dénès	2017-07-20
\|\ \
* \ \	Merge PR #869: Enforce alternating separators in typeclass debug output	Maxime Dénès	2017-07-20
\|\ \ \ \| \|_\|/ \|/\| \|
\| \| *	[pp] Fix bugs 5651 [incorrect thunk in pretty printer]	Emilio Jesus Gallego Arias	2017-07-19
\| \|/ \|/\|
* \|	Merge PR #862: Adding support for bindings tags to explicit prefix/suffix rat...	Maxime Dénès	2017-07-17
\|\ \
\| \| *	format pairs of items for pr_depth to get alternating separators	Paul Steckler	2017-07-12
\| * \|	Adding support for bindings tags to explicit prefix/suffix rather than colors.	Hugo Herbelin	2017-07-08
\| \|/
* /	use Int.equal instead of polymorphic =	Paul Steckler	2017-07-05
\|/
*	Merge branch 'v8.6'	Pierre-Marie Pédrot	2017-07-04
\|\
* \|	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
\| *	Fix bug 5392: Warnings defined in plugins are considered unknown	Maxime Dénès	2017-06-23
* \|	Merge PR#613: Cumulativity for inductive types	Maxime Dénès	2017-06-19
\|\ \
* \| \|	Fix typo in comment.	Maxime Dénès	2017-06-19
\| * \|	Fix bugs and add an option for cumulativity	Amin Timany	2017-06-16
\|/ /
* \|	Merge PR#375: Deprecation	Maxime Dénès	2017-06-15
\|\ \
* \ \	Merge PR#739: completing a sentence in a comment	Maxime Dénès	2017-06-14
\|\ \ \
\| \| * \|	Remove support for Coq 8.4.	Guillaume Melquiond	2017-06-14
\| \| * \|	Remove support for Coq 8.3.	Guillaume Melquiond	2017-06-14
\| \| * \|	Remove support for Coq 8.2.	Guillaume Melquiond	2017-06-14
\| \| * \|	Add a version to be used when parsing compatibility notations mentioning old ...	Guillaume Melquiond	2017-06-14
\| \|/ / \|/\| \|
* \| \|	Add support for "-bypass-API" argument of "coq_makefile"	Matej Košík	2017-06-12
\| * \|	completing a sentence in a comment	Matej Košík	2017-06-07
* \| \|	Put all plugins behind an "API".	Matej Kosik	2017-06-07
\|/ /
* \|	Merge PR#728: A few typos.	Maxime Dénès	2017-06-06
\|\ \
\| * \|	A few typos.	Hugo Herbelin	2017-06-04
* \| \|	Drop '.' from CErrors.anomaly, insert it in args	Jason Gross	2017-06-02
\|/ /
* \|	[emacs] [toplevel] Make emacs flag local to the toplevel.	Emilio Jesus Gallego Arias	2017-06-01
\| *	Bump year in headers.	Maxime Dénès	2017-06-01