coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[stm] Break stm/toplevel dependency loop.	Emilio Jesus Gallego Arias	2017-02-15
*	Merge PR#253: Sort Search results by relevance	Maxime Dénès	2017-02-14
\|\
* \	Merge branch 'v8.6'	Pierre-Marie Pédrot	2017-01-19
\|\ \
\| * \|	Fixing (part of) #5303 (clarifications around Record/Structure/Variant).	Hugo Herbelin	2017-01-16
* \| \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	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
\| \| *	Sort search results by relevance	Arnaud Spiwack	2016-11-07
\| \|/ \|/\|
\| *	Merge remote-tracking branch 'github/pr/339' into v8.6	Maxime Dénès	2016-11-07
\| \|\
\| * \	Merge commit 'e6edb33' into v8.6	Maxime Dénès	2016-11-07
\| \|\ \
\| * \| \|	Improve formatting of a message in [Arguments].	Maxime Dénès	2016-11-07
\| * \| \|	Fix #5181: [Arguments] no longer correctly checks the length of arguments lists	Maxime Dénès	2016-11-07
\| * \| \|	Fix #5182: "Arguments names must be distinct." is bogus and underinformative	Maxime Dénès	2016-11-07
\| * \| \|	Quick fix of tactic parsing while Load-ing in coqide.	Hugo Herbelin	2016-11-04
\| \| \| *	Lets Hints/Instances take an optional pattern	Matthieu Sozeau	2016-11-03
\| * \| \|	Fix various shortcomings of the warnings infrastructure.	Maxime Dénès	2016-11-02
\| \| \|/ \| \|/\|
* \| \|	Moving unused code out of the kernel into Termops.	Pierre-Marie Pédrot	2016-10-31
* \| \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-29
\|\\| \|
\| * \|	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
\|\\| \| \|
\| \| \| *	Renamings to avoid confusion deprecating old names	Matthieu Sozeau	2016-10-22
\| \| \|/ \| \|/\|
\| * \|	[search] Don't build intermediate lists in search.	Emilio Jesus Gallego Arias	2016-10-20
* \| \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-18
\|\\| \|
\| * \|	More on making the lexer more functional (continuing b8ae2de5 and	Hugo Herbelin	2016-10-17
\| \|/
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-08
\|\\|
\| *	Fix bug #5125: Bad error message when attempting to use where with Class.	Pierre-Marie Pédrot	2016-10-07
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-05
\|\\|
\| *	Quick fix to #4595 (making notations containing "ltac:" unused for printing).	Hugo Herbelin	2016-10-04
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-02
\|\ \
\| \| *	Add command 'Set foo Append "bar"' for appending to an option (bug #5109).	Guillaume Melquiond	2016-10-01
\| \|/
\| *	In <= 8.5 compat accept "Arguments f /" even if f has arguments (#5112)	Enrico Tassi	2016-09-30
\| *	Give name to warning added in (fdfcdc): arguments-ignore-rename-nonimpl	Enrico Tassi	2016-09-30
\| *	Arguments: cleanup + detect discrepancy rename/implicit (#3753)	Enrico Tassi	2016-09-29
\| *	Merge branch 'bug4723' into v8.6	Matthieu Sozeau	2016-09-29
\| \|\
\| \| *	Cleanup API, making inference_hook optional	Matthieu Sozeau	2016-09-29
\| * \|	Argument : assert does fail if no arg is given (fix #4864)	Enrico Tassi	2016-09-29
\| \| *	Fix bug #4723 and FIXME in API for solve_by_tac	Matthieu Sozeau	2016-09-28
\| \|/
* \|	Revert "Merge remote-tracking branch 'github/pr/283' into trunk"	Maxime Dénès	2016-09-22
* \|	Merge remote-tracking branch 'github/pr/283' into trunk	Maxime Dénès	2016-09-22
\|\ \
* \| \|	Merging Stdarg and Constrarg.	Pierre-Marie Pédrot	2016-09-21
\| * \|	Stylistic improvements in intf/decl_kinds.mli.	Maxime Dénès	2016-09-20
\|/ /
* \|	Make the Coq codebase independent from Ltac-related code.	Pierre-Marie Pédrot	2016-09-16
\|\ \
* \ \	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-09-14
\|\ \ \ \| \| \|/ \| \|/\|
\| * \|	Make it explicit when paths are added to the ML search paths.	Guillaume Melquiond	2016-09-09
\| \| *	Making Proof_global terminator generic in external tactics.	Pierre-Marie Pédrot	2016-09-08
\| \| *	Unplugging Tacexpr in several interface files.	Pierre-Marie Pédrot	2016-09-08
\| \| *	Making Vernacexpr independent from Tacexpr.	Pierre-Marie Pédrot	2016-09-08
\| \|/ \|/\|