coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Typeclasses API using EConstr.	Pierre-Marie Pédrot	2017-02-14
*	Tacred API using EConstr.	Pierre-Marie Pédrot	2017-02-14
*	Constr_matching API using EConstr.	Pierre-Marie Pédrot	2017-02-14
*	Patternops API using EConstr.	Pierre-Marie Pédrot	2017-02-14
*	Typing API using EConstr.	Pierre-Marie Pédrot	2017-02-14
*	Evarconv API using EConstr.	Pierre-Marie Pédrot	2017-02-14
*	Recordops API using EConstr.	Pierre-Marie Pédrot	2017-02-14
*	Evarsolve API using EConstr.	Pierre-Marie Pédrot	2017-02-14
*	Evardefine API using EConstr.	Pierre-Marie Pédrot	2017-02-14
*	Find_subterm API using EConstr.	Pierre-Marie Pédrot	2017-02-14
*	Cbv API using EConstr.	Pierre-Marie Pédrot	2017-02-14
*	Retyping API using EConstr.	Pierre-Marie Pédrot	2017-02-14
*	Nativenorm API using EConstr.	Pierre-Marie Pédrot	2017-02-14
*	Vnorm 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
*	Introducing a new EConstr.t type to perform the nf_evar operation on demand.	Pierre-Marie Pédrot	2016-11-08
*	Revert "Better Arguments compatibility."	Maxime Dénès	2016-11-03
*	Merge branch 'v8.6' into trunk	Maxime Dénès	2016-11-03
\|\
\| *	Merge remote-tracking branch 'github/pr/341' into v8.6	Maxime Dénès	2016-11-03
\| \|\
* \| \|	updating ".merlin" file	Matej Kosik	2016-11-03
\| \| *	Better Arguments compatibility.	Maxime Dénès	2016-11-02
\| \|/
* \|	Moving unused code out of the kernel into Termops.	Pierre-Marie Pédrot	2016-10-31
* \|	Stronger static invariant in equality upto universes.	Pierre-Marie Pédrot	2016-10-31
* \|	Code factorization in Universes.	Pierre-Marie Pédrot	2016-10-31
* \|	Moving Universes to the engine/ folder.	Pierre-Marie Pédrot	2016-10-30
* \|	Reordering Termops w.r.t. Evd and Namegen in engine folder.	Pierre-Marie Pédrot	2016-10-30
\| *	Fix spurious OCaml Warning 56 in TACTIC EXTEND macros.	Pierre-Marie Pédrot	2016-10-30
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-29
\|\\|
\| *	Merge branch 'v8.5' into v8.6	Pierre-Marie Pédrot	2016-10-29
\| \|\
\| * \|	Removing dead code.	Hugo Herbelin	2016-10-29
\| * \|	Fixing error localisation bug introduced in fixing #5142 (21e1d501e17c).	Hugo Herbelin	2016-10-29
\| * \|	Fixing #5164 (regression in locating error in argument of "refine").	Hugo Herbelin	2016-10-29
\| * \|	Merge remote-tracking branch 'github/pr/321' into v8.6	Maxime Dénès	2016-10-28
\| \|\ \
\| * \ \	Merge remote-tracking branch 'github/pr/319' into v8.6	Maxime Dénès	2016-10-28
\| \|\ \ \
\| * \ \ \	Merge commit 'fccbd64' into v8.6	Maxime Dénès	2016-10-28
\| \|\ \ \ \
\| \| * \| \| \|	[build] Add a target to install the META file.	Emilio Jesus Gallego Arias	2016-10-28
\| \| * \| \| \|	[build] META file to enable plugin linking with ocamlfind.	Emilio Jesus Gallego Arias	2016-10-28
\| * \| \| \| \|	Merge remote-tracking branch 'github/pr/337' into v8.6	Maxime Dénès	2016-10-28
\| \|\ \ \ \ \
\| \| \| \| \| \| *	Fixing #5161 (case of a notation with unability to detect a recursive binder).	Hugo Herbelin	2016-10-27
* \| \| \| \| \| \|	COMMENT: unfortunatelly, ocamldoc does not recognize this kind of markup: it ...	Matej Kosik	2016-10-27
\| \| * \| \| \| \|	Add missing dot to impargs error message.	Maxime Dénès	2016-10-27
\| \| * \| \| \| \|	Proper fix for #3753 (anomaly with implicit arguments and renamings)	Maxime Dénès	2016-10-27
\| \| * \| \| \| \|	Complete overhaul of the Arguments vernacular.	Maxime Dénès	2016-10-27
\| * \| \| \| \| \|	Using msg_info for info_auto and info_eauto (PR #324).	Hugo Herbelin	2016-10-26
\| * \| \| \| \| \|	STM: make ~valid state id non optional from APIs	Enrico Tassi	2016-10-26
\| * \| \| \| \| \|	Merge branch 'v8.5' into v8.6	Pierre-Marie Pédrot	2016-10-26
\| \|\ \ \ \ \ \ \| \| \| \|_\|_\|_\|/ \| \| \|/\| \| \| \|
* \| \| \| \| \| \|	COMMENT: Namegen.next_ident_away	Matej Kosik	2016-10-26
* \| \| \| \| \| \|	COMMENT: Declarations.constant_def	Matej Kosik	2016-10-26
* \| \| \| \| \| \|	COMMENT: Names.Cmap and Names.Cmap_env	Matej Kosik	2016-10-26