coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	plugins/ltac : avoid spurious .cmxs files	Pierre Letouzey	2017-06-15
*	Merge branch 'v8.6'	Pierre-Marie Pédrot	2017-05-17
\|\
\| *	remove unneeded -emacs flag to coq-prog-args	Paul Steckler	2017-05-01
* \|	Moving the Ltac plugin to a pack-based one.	Pierre-Marie Pédrot	2017-02-17
\|/
*	Merge branch 'trunk-function_scope' of https://github.com/JasonGross/coq into...	Matthieu Sozeau	2016-04-04
\|\
* \|	Moving the "clear" tactic to TACTIC EXTEND.	Pierre-Marie Pédrot	2016-02-29
\| *	Move type_scope into user space, fix some output logs	Jason Gross	2015-08-14
\|/
*	Adding a test for bug #3612.	Pierre-Marie Pédrot	2015-02-27