coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
* \|	Elim API using EConstr.	Pierre-Marie Pédrot	2017-02-14
* \|	Tactics API using EConstr.	Pierre-Marie Pédrot	2017-02-14
* \|	Hipattern API using EConstr.	Pierre-Marie Pédrot	2017-02-14
* \|	Tacticals API using EConstr.	Pierre-Marie Pédrot	2017-02-14
* \|	Clenv API using EConstr.	Pierre-Marie Pédrot	2017-02-14
* \|	Tacmach API using EConstr.	Pierre-Marie Pédrot	2017-02-14
* \|	Refine API using EConstr.	Pierre-Marie Pédrot	2017-02-14
* \|	Goal API using EConstr.	Pierre-Marie Pédrot	2017-02-14
* \|	Cleaning up opening of the EConstr module in pretyping folder.	Pierre-Marie Pédrot	2017-02-14
* \|	Making judgment type generic over the type of inner constrs.	Pierre-Marie Pédrot	2017-02-14
* \|	Unification API using EConstr.	Pierre-Marie Pédrot	2017-02-14
* \|	Pretyping API using EConstr.	Pierre-Marie Pédrot	2017-02-14
* \|	Cases API using EConstr.	Pierre-Marie Pédrot	2017-02-14
* \|	Coercion API using EConstr.	Pierre-Marie Pédrot	2017-02-14
* \|	Classops API using EConstr.	Pierre-Marie Pédrot	2017-02-14
* \|	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
\| *	Merge PR#253: Sort Search results by relevance	Maxime Dénès	2017-02-14
\| \|\
\| \| *	Test-suite: output of Search	Arnaud Spiwack	2017-02-14
\| * \|	Merge PR#349: Proofview: tclINDEPENDENTL	Maxime Dénès	2017-02-13
\| \|\ \
\| \| * \|	Proofview: tclINDEPENDENTL	Enrico Tassi	2017-02-10
\| \|/ /
\| * \|	Merge PR#405: Type cleanup in `Metasyntax`	Maxime Dénès	2017-02-08
\| \|\ \
\| * \ \	Merge PR#393: Replace Typeops with Fast_typeops	Maxime Dénès	2017-02-08
\| \|\ \ \
\| * \| \| \|	Revert "Extraction: avoid deprecated functions of module String"	Pierre Letouzey	2017-02-07
\| * \| \| \|	Extraction cosmetic: no whitespaces in printing empty modules	Pierre Letouzey	2017-02-07
\| * \| \| \|	Extraction: remove the "print to devnull" hack now that pp isn't lazy anymore	Pierre Letouzey	2017-02-07
\| * \| \| \|	Extraction: avoid deprecated functions of module String	Pierre Letouzey	2017-02-07
\| * \| \| \|	Extraction: simplify the generated code for difficult name conflicts	Pierre Letouzey	2017-02-07
\| * \| \| \|	Extraction : get_duplicates (via option) instead of check_duplicates (via Not...	Pierre Letouzey	2017-02-07
\| * \| \| \|	configure: avoid deprecated warnings	Pierre Letouzey	2017-02-07
\| * \| \| \|	Extraction: fix complexity issue #5310	Pierre Letouzey	2017-02-07
\| * \| \| \|	Merge PR#425: [travis] [External CI] [geocoq] don't build slow file	Maxime Dénès	2017-02-07
\| \|\ \ \ \
\| \| * \| \| \|	[travis] [External CI] [geocoq] don't build slow file	Emilio Jesus Gallego Arias	2017-02-07
\| * \| \| \| \|	Merge PR#424: [travis] [External CI] iris-coq: fix dependencies	Maxime Dénès	2017-02-07
\| \|\ \ \ \ \
\| \| * \| \| \| \|	[travis] [External CI] iris-coq: fix dependencies	Emilio Jesus Gallego Arias	2017-02-07
\| \|/ / / / /
\| \| \| \| * /	Type cleanup in `Metasyntax`	Emilio Jesus Gallego Arias	2017-02-07
\| \| \|_\|/ / \| \|/\| \| \|