coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Fix #4871 - interrupting par:abstract kills coqtop	Maxime Dénès	2016-08-30
*	micromega cache files are now hidden files (cf #4156)	Frédéric Besson	2016-08-30
*	Setting an unknown option now always a warning. Fixes #4947.	Maxime Dénès	2016-08-30
*	Fixing an anomaly in printing a unification error message.	Hugo Herbelin	2016-08-20
*	Remove extraneous dot in error message (bug #4832).	Guillaume Melquiond	2016-08-19
*	Fix incorrect glob data for module symbols (bug #2336).	Guillaume Melquiond	2016-08-18
*	Fixing #5001 (metas not cleaned properly in clenv_refine_in).	Hugo Herbelin	2016-08-17
*	Fixing CHANGES.	Hugo Herbelin	2016-08-17
*	infoH: output via msg_* to make the XML protocol happy	Enrico Tassi	2016-08-17
*	Output a break before a list only if there was an empty line (bug #4606).	Guillaume Melquiond	2016-08-16
*	Merge branch 'pr255' into v8.5 (bug #5015)	Guillaume Melquiond	2016-08-16
\|\
\| *	Fix regression in Coqide's "forward one command" command	Xavier Leroy	2016-08-14
\|/
*	Do not assume the "TERM" environment variable is always set (bug #5007).	Guillaume Melquiond	2016-08-11
*	Use the "md5" command on OpenBSD (bug #5008).	Guillaume Melquiond	2016-08-11
*	Fix #5000: Document the native compiler soundness bug due to Unicode mangling.	Pierre-Marie Pédrot	2016-08-07
*	Fix documentation typo (bug #4994).	Guillaume Melquiond	2016-08-04
*	Fix bug #4673: regression in setoid_rewrite.	Matthieu Sozeau	2016-07-29
*	Update CHANGES about #3886 bugfix	Matthieu Sozeau	2016-07-29
*	Fix bug #3886, generation of obligations of fixes	Matthieu Sozeau	2016-07-29
*	Fix #4769, univ poly and elim schemes in sections	Matthieu Sozeau	2016-07-29
*	Update CHANGES about critical bugfix and others	Matthieu Sozeau	2016-07-26
*	Merge branch 'bug4754' into v8.5	Matthieu Sozeau	2016-07-26
\|\
\| *	Fix bug #4754, allow conversion problems to remain	Matthieu Sozeau	2016-07-26
\|/
*	Merge branch 'bug4876' into v8.5	Matthieu Sozeau	2016-07-26
\|\
\| *	Fix bug #4876: critical bug in guard condition checker.	Matthieu Sozeau	2016-07-25
\|/
*	Update CHANGES	Matthieu Sozeau	2016-07-20
*	Fix bug #4780: universe leak in letin_tac	Matthieu Sozeau	2016-07-20
*	Fix Errors.out missing a dot...	Matthieu Sozeau	2016-07-19
*	Fixing printing of evar name in an error message of instantiate.	Hugo Herbelin	2016-07-13
*	Typo.	Hugo Herbelin	2016-07-13
*	Add a few fixes in CHANGES that were forgotten.	Maxime Dénès	2016-07-08
*	Fix test file for #4858.	Maxime Dénès	2016-07-08
*	Update csdp.cache.	Maxime Dénès	2016-07-08
*	Test file for #4858.	Maxime Dénès	2016-07-08
*	Add test file for #4880.	Maxime Dénès	2016-07-08
*	Update COPYRIGHT.	Maxime Dénès	2016-07-08
*	Merge remote-tracking branch 'github/pr/243' into v8.5	Maxime Dénès	2016-07-08
\|\
* \|	Prevent "Load" from displaying all the intermediate subgoals.	Guillaume Melquiond	2016-07-07
* \|	Do not display goals in -compile-verbose mode (bug #4841).	Guillaume Melquiond	2016-07-07
* \|	Update csdp.cache.	Maxime Dénès	2016-07-06
* \|	Fix typo in configure (noticed by Jason).	Maxime Dénès	2016-07-06
\| *	improved complexity in nsatz	thery	2016-07-06
* \|	Merge remote-tracking branch 'github/pr/199' into v8.5	Maxime Dénès	2016-07-06
\|\ \
* \ \	Merge remote-tracking branch 'github/pr/241' into v8.5	Maxime Dénès	2016-07-06
\|\ \ \
* \| \| \|	Bump version number in preparation for 8.5pl2 release.	Maxime Dénès	2016-07-06
* \| \| \|	Deduplicate some names in .mailmap	Jason Gross	2016-07-06
* \| \| \|	Fix indentation of configure printout	Jason Gross	2016-07-06
\| \| \| *	Bug Fixes : 4851 4858 4880 for nsatz	thery	2016-07-06
\| \|_\|/ \|/\| \|
\| * \|	Move option_map notation up	Jason Gross	2016-07-05
\| * \|	Restore option_map in FMapFacts	Jason Gross	2016-07-05
\|/ /