coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
* \| \| \|	Removing compatibility layers in Retyping	Pierre-Marie Pédrot	2017-02-14
* \| \| \|	Removing some return type compatibility layers in Termops.	Pierre-Marie Pédrot	2017-02-14
* \| \| \|	Setoid_ring API using EConstr.	Pierre-Marie Pédrot	2017-02-14
* \| \| \|	Cc API using EConstr.	Pierre-Marie Pédrot	2017-02-14
* \| \| \|	Quote API using EConstr.	Pierre-Marie Pédrot	2017-02-14
* \| \| \|	Reductionops now return EConstrs.	Pierre-Marie Pédrot	2017-02-14
* \| \| \|	Proofview.Goal primitive now return EConstrs.	Pierre-Marie Pédrot	2017-02-14
* \| \| \|	Eliminating parts of the right-hand side compatibility layer	Pierre-Marie Pédrot	2017-02-14
* \| \| \|	Rewrite API using EConstr.	Pierre-Marie Pédrot	2017-02-14
* \| \| \|	Tactic_matching API using EConstr.	Pierre-Marie Pédrot	2017-02-14
* \| \| \|	Hints API using EConstr.	Pierre-Marie Pédrot	2017-02-14
* \| \| \|	Inv API using EConstr.	Pierre-Marie Pédrot	2017-02-14
* \| \| \|	Contradiction API using EConstr.	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
* \| \| \|	Hipattern API using EConstr.	Pierre-Marie Pédrot	2017-02-14
* \| \| \|	Tacmach 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
* \| \| \|	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
* \| \| \|	Evarsolve API using EConstr.	Pierre-Marie Pédrot	2017-02-14
* \| \| \|	Retyping 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#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
\| * \| \| \|	Extraction: fix complexity issue #5310	Pierre Letouzey	2017-02-07
\| \| \|_\|/ \| \|/\| \|
\| \| \| *	Extraction: fix complexity issue #5310	Pierre Letouzey	2017-02-07
\| \| * \|	Remove useless comments	Gaetan Gilbert	2017-01-28
\| * \| \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2017-01-19
\| \|\ \ \ \| \| \| \|/ \| \| \|/\|
\| \| \| *	Extend Fast_typeops to be a replacement for Typeops	Gaetan Gilbert	2016-12-12
\| \| \|/ \| \|/\|
\| \| *	ssrmatching: fix iter_constr_LR iterator wrt Proj	Enrico Tassi	2016-12-07
\| * \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-12-07
\| \|\\|
\| \| *	ssrmatching: handle primite projections (fix: #5247)	Enrico Tassi	2016-12-05
\| \| *	Fixing printers for pr_auto_using and pr_firstorder_using.	Hugo Herbelin	2016-12-02
\| * \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-11-30
\| \|\\|