coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
* \| \|	Removing various compatibility layers of tactics.	Pierre-Marie Pédrot	2017-02-14
* \| \|	Funind API using EConstr.	Pierre-Marie Pédrot	2017-02-14
* \| \|	Removing some return type compatibility layers in Termops.	Pierre-Marie Pédrot	2017-02-14
* \| \|	Reductionops now return EConstrs.	Pierre-Marie Pédrot	2017-02-14
* \| \|	Equality API using EConstr.	Pierre-Marie Pédrot	2017-02-14
* \| \|	Elim API using EConstr.	Pierre-Marie Pédrot	2017-02-14
* \| \|	Tactics API using EConstr.	Pierre-Marie Pédrot	2017-02-14
* \| \|	Tacmach API using EConstr.	Pierre-Marie Pédrot	2017-02-14
* \| \|	Tacred API using EConstr.	Pierre-Marie Pédrot	2017-02-14
* \| \|	Typing API using EConstr.	Pierre-Marie Pédrot	2017-02-14
* \| \|	Reductionops API using EConstr.	Pierre-Marie Pédrot	2017-02-14
* \| \|	Termops API using EConstr.	Pierre-Marie Pédrot	2017-02-14
\| * \|	Extend Fast_typeops to be a replacement for Typeops	Gaetan Gilbert	2016-12-12
\|/ /
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-29
\|\\|
\| *	That Function is unable to create a Fixpoint equation is a user problem,	Yves Bertot	2016-10-25
* \|	Revert "Merge remote-tracking branch 'github/pr/283' into trunk"	Maxime Dénès	2016-09-22
* \|	Stylistic improvements in intf/decl_kinds.mli.	Maxime Dénès	2016-09-20
* \|	Merge PR #244.	Pierre-Marie Pédrot	2016-09-08
\|\ \
* \| \|	CLEANUP: functions "Context.{Rel,Named}.Context.fold" were renamed to "Contex...	Matej Kosik	2016-08-25
\| \|/ \|/\|
\| *	Make the user_err header an optional parameter.	Emilio Jesus Gallego Arias	2016-08-19
\| *	Remove errorlabstrm in favor of user_err	Emilio Jesus Gallego Arias	2016-08-19
\|/
*	rename toplevel/cerror.ml into explainErr.ml (too close to the new lib/cError...	Pierre Letouzey	2016-07-03
*	closure.ml renamed into cClosure.ml (avoid clash with a compiler-libs module)	Pierre Letouzey	2016-07-03
*	errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...	Pierre Letouzey	2016-07-03
*	Add and document match, fix and cofix reduction flags.	Maxime Dénès	2016-07-01
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-06-27
\|\
* \|	Compilation via pack for plugins of the stdlib	Pierre Letouzey	2016-06-08
* \|	Feedback cleanup	Emilio Jesus Gallego Arias	2016-05-31
\| *	Univs/Program/Function: Fix bug #4725	Matthieu Sozeau	2016-05-26
* \|	Put the "generalize" tactic in the monad.	Pierre-Marie Pédrot	2016-05-16
* \|	Put the "fix" tactic in the monad.	Pierre-Marie Pédrot	2016-05-16
* \|	Put the "clear" tactic into the monad.	Pierre-Marie Pédrot	2016-05-16
* \|	Removing dead code and unused opens.	Pierre-Marie Pédrot	2016-05-08
* \|	merging conflicts with the original "trunk__CLEANUP__Context__2" branch	Matej Kosik	2016-02-15
\|\ \
* \| \|	Using monotonic types for conversion functions.	Pierre-Marie Pédrot	2016-02-15
* \| \|	More conversion functions in the new tactic API.	Pierre-Marie Pédrot	2016-02-15
* \| \|	Moving conversion functions to the new tactic API.	Pierre-Marie Pédrot	2016-02-15
\| * \|	CLEANUP: Context.{Rel,Named}.Declaration.t	Matej Kosik	2016-02-09
\|/ /
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-21
\|\\|
\| *	Update copyright headers.	Maxime Dénès	2016-01-20
* \|	Eradicating uses of open_constr in TACTIC EXTEND in favour of uconstr.	Pierre-Marie Pédrot	2015-12-28
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-12-08
\|\\|
\| *	Fix some typos.	Guillaume Melquiond	2015-12-07
* \|	Removing redundant versions of generalize.	Hugo Herbelin	2015-12-05
* \|	Moving three related small half-general half-ad-hoc utility functions	Hugo Herbelin	2015-12-05
* \|	Monotonizing Tactics.change_arg.	Pierre-Marie Pédrot	2015-10-29
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-10-29
\|\\|
\| *	Univs: local names handling.	Matthieu Sozeau	2015-10-28
* \|	Function debug mode more formatted.	Pierre Courtieu	2015-10-19
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-10-02
\|\\|