coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[configure] Support for flambda flags.	Emilio Jesus Gallego Arias	2017-10-10
*	Merge PR #1134: Revert "Switch Travis to OSX 10.12 and Xcode 8.3.3."	Maxime Dénès	2017-10-09
\|\
* \	Merge PR #1133: Fix hardcoded boot dependencies after #1041.	Maxime Dénès	2017-10-09
\|\ \
* \ \	Merge PR #1132: TimeFileMaker.py: Allow trailing spaces	Maxime Dénès	2017-10-09
\|\ \ \
* \ \ \	Merge PR #1115: Autolink to Github PRs from Bugzilla	Maxime Dénès	2017-10-09
\|\ \ \ \
* \ \ \ \	Merge PR #1114: Generic handling of nameable objects for plugins	Maxime Dénès	2017-10-09
\|\ \ \ \ \
* \ \ \ \ \	Merge PR #1109: Handle some misc todos	Maxime Dénès	2017-10-09
\|\ \ \ \ \ \
* \ \ \ \ \ \	Merge PR #1086: [stm] [flags] Move document mode flags to the STM.	Maxime Dénès	2017-10-09
\|\ \ \ \ \ \ \
* \ \ \ \ \ \ \	Merge PR #1062: BZ#5739, Allow level for leftmost nonterminal for printing-on...	Maxime Dénès	2017-10-09
\|\ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \	Merge PR #1117: [ci] Remove temporary bignums overlay.	Maxime Dénès	2017-10-09
\|\ \ \ \ \ \ \ \ \
\| \| \| \| \| \| \| \| \| *	Revert "Switch Travis to OSX 10.12 and Xcode 8.3.3."	Théo Zimmermann	2017-10-07
\| \| \| \| \| \| \| \| * \|	Fix hardcoded boot dependencies after #1041.	Gaëtan Gilbert	2017-10-07
\| \|_\|_\|_\|_\|_\|_\|/ / \|/\| \| \| \| \| \| \| \|
\| \| \| * \| \| \| \| \|	[stm] [flags] Move document mode flags to the STM.	Emilio Jesus Gallego Arias	2017-10-06
\| \| \| * \| \| \| \| \|	[coqtop] Don't reset coqinit internal variables after initialization.	Emilio Jesus Gallego Arias	2017-10-06
\| \|_\|/ / / / / / \|/\| \| \| \| \| \| \|
* \| \| \| \| \| \| \|	Merge PR #1127: Shorten the .gitattributes file.	Maxime Dénès	2017-10-06
\|\ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \	Merge PR #1118: Extraction : minor support stuff for the new Extraction Compu...	Maxime Dénès	2017-10-06
\|\ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \	Merge PR #1119: Fixing bug BZ#5769 (generating a name "_" out of a type "_som...	Maxime Dénès	2017-10-06
\|\ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \	Merge PR #1121: Fixing BZ#5765 (an anomaly with 'pat in the parameters of an ...	Maxime Dénès	2017-10-06
\|\ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \	Merge PR #1125: [pp] Minor optimization in `Pp.t` construction and gluing.	Maxime Dénès	2017-10-06
\|\ \ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \ \	Merge PR #1124: Extraction: reduce atomic eta-redexes (solves indirectly BZ#4...	Maxime Dénès	2017-10-06
\|\ \ \ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \ \ \	Merge PR #1128: GitLab CI: make all_stdlib.v in build job	Maxime Dénès	2017-10-06
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \ \ \ \	Merge PR #1130: Fix copyright info in reference manual.	Maxime Dénès	2017-10-06
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \	Merge PR #1131: Clean-up xml protocol doc	Maxime Dénès	2017-10-06
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \| \|_\|_\|_\|_\|_\|_\|_\|_\|_\|_\|_\|_\|_\|_\|/ \|/\| \| \| \| \| \| \| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Merge PR #1129: 8.7+beta2 CHANGES	Maxime Dénès	2017-10-06
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \	Merge PR #1123: [ci] Remove deploy to GitHub of OS X package.	Maxime Dénès	2017-10-06
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| *	TimeFileMaker.py: Allow trailing spaces	Jason Gross	2017-10-06
\| \|_\|_\|_\|_\|_\|_\|_\|_\|_\|_\|_\|_\|_\|_\|_\|/ \|/\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| \| * \| \| \| \| \| \| \| \| \| \| \| \| \|	Extract changes to the XML protocol from its doc	Théo Zimmermann	2017-10-06
\| \| \| * \| \| \| \| \| \| \| \| \| \| \| \| \|	Make the XML protocol doc more version-independent	Théo Zimmermann	2017-10-06
\| \|_\|/ / / / / / / / / / / / / / \|/\| \| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| \| * \| \| \| \| \| \| \| \| \| \| \| \|	Fix copyright info in reference manual.	Théo Zimmermann	2017-10-06
\| \|_\|/ / / / / / / / / / / / / \|/\| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| * \| \| \| \| \| \| \| \| \| \| \| \|	8.7+beta2 CHANGES	Théo Zimmermann	2017-10-06
* \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Merge PR #1069: Improve support for -w options	Maxime Dénès	2017-10-05
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \| \|_\|/ / / / / / / / / / / / / \|/\| \| \| \| \| \| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Merge PR #1081: Mini fix at improving the cannot unify error message	Maxime Dénès	2017-10-05
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \
* \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Fix typo in INSTALL	Maxime Dénès	2017-10-05
* \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Merge PR #1041: Miscellaneous fixes about UTF-8 (including a fix to BZ#5715 t...	Maxime Dénès	2017-10-05
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \	Merge PR #1093: [doc] Update INSTALL to match reality.	Maxime Dénès	2017-10-05
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \	Merge PR #1107: Add coqwc tests to test suite	Maxime Dénès	2017-10-05
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
\| \| \| \| \| \| \| * \| \| \| \| \| \| \| \| \| \| \|	GitLab CI: make all_stdlib.v in build job	Gaëtan Gilbert	2017-10-05
* \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Merge PR #1106: Fix beautifier	Maxime Dénès	2017-10-05
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \	Merge PR #1102: On the detection of evars which "advanced" (and a fix to BZ#5...	Maxime Dénès	2017-10-05
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \	Merge PR #1101: Fixing an old proof engine bug in collecting evars with clear...	Maxime Dénès	2017-10-05
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \	Merge PR #1059: coq_makefile: make sure compile flags for Coq and coq_makefil...	Maxime Dénès	2017-10-05
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \| \|_\|_\|_\|_\|_\|_\|_\|_\|_\|/ / / / / / / / / / / / \|/\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Merge PR #1112: Fix GeoCoq CI and remove it from allowed failures	Maxime Dénès	2017-10-05
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
\| \| \| \| \| \| \| \| \| \| \| \| * \| \| \| \| \| \| \| \| \| \|	Extraction: reduce eta-redexes whose cores are atomic (solves indirectly BZ#4...	Pierre Letouzey	2017-10-05
\| \|_\|_\|_\|_\|_\|_\|_\|_\|_\|_\|/ / / / / / / / / / / \|/\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| * \| \| \| \| \|	Shorten the .gitattributes file.	Théo Zimmermann	2017-10-05
\| \|_\|_\|_\|_\|_\|_\|_\|_\|_\|_\|_\|_\|_\|_\|/ / / / / / \|/\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| \| \| \| \| \| \| \| \| \| \| * \| \| \| \| \| \| \| \|	[pp] Minor optimization in `Pp.t` construction and gluing.	Emilio Jesus Gallego Arias	2017-10-05
\| \|_\|_\|_\|_\|_\|_\|_\|_\|_\|_\|/ / / / / / / / / \|/\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| \| \| \| \| \| \| \| \| \| * \| \| \| \| \| \| \| \|	[ci] Remove deploy to GitHub of OS X package.	Théo Zimmermann	2017-10-05
\| \| \| \| \| \| \| \| \| \| \| \| \| * \| \| \| \| \| \|	Fixing BZ#5769 (variable of type "_something" was named after invalid "_").	Hugo Herbelin	2017-10-05
\| \| \| \| \| \| \| \| \| \| \| \| \| * \| \| \| \| \| \|	Distinguishing pseudo-letters out of the set of unicode letters.	Hugo Herbelin	2017-10-05
\| \| \| \| \| \| \| \| \| \| \| \| \| * \| \| \| \| \| \|	Fixing typos in comments of unicode.ml.	Hugo Herbelin	2017-10-05
\| \| \| \| \| \| \| \| \| \| \| \| * \| \| \| \| \| \| \|	Fixing #5765 (an anomaly with 'pat in parameters of inductive definition).	Hugo Herbelin	2017-10-05
\| \| \| \| \| \| \| \| \| \| \| \| \|/ / / / / / /