coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
* \| \|	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
* \| \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-29
\|\\| \|
\| * \|	Merge remote-tracking branch 'github/pr/321' into v8.6	Maxime Dénès	2016-10-28
\| \|\ \
\| * \| \|	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: Proofview.entry	Matej Kosik	2016-10-26
* \| \| \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-24
\|\\| \| \|
\| \| \| *	Unification constraint handling (#4763, #5149)	Matthieu Sozeau	2016-10-22
\| \| \|/ \| \|/\|
\| * \|	Oops, my bad, didn't expect a merge issue!	Matthieu Sozeau	2016-10-21
\| * \|	Merge remote-tracking branch 'gforge/v8.5' into v8.6	Matthieu Sozeau	2016-10-21
\| \| *	sections/hints: prevent Not_found in get_type_of	Matthieu Sozeau	2016-10-21
\| \|/
* \|	CLEANUP: Namegen.to_avoid	Matej Kosik	2016-10-20
* \|	CLEANUP: rename "Nameops.lift_subscript" to "Nameops.increment_subscript".	Matej Kosik	2016-10-19
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-17
\|\\|
\| *	Fix bug #5145: Anomaly: index to an anonymous variable.	Pierre-Marie Pédrot	2016-10-15
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-12
\|\\|
\| *	Merge branch 'v8.5' into v8.6	Pierre-Marie Pédrot	2016-10-12
\| *	Merge branch 'v8.5' into v8.6	Pierre-Marie Pédrot	2016-10-12
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-05
\|\\|
\| *	Merge remote-tracking branch 'github/pr/263' into v8.6	Maxime Dénès	2016-10-03
\| \|\
* \| \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-09-23
\|\\| \|
\| * \|	Adding variants enter_one and refine_one which assume that exactly one	Hugo Herbelin	2016-09-16
\| \| *	Tracking careless uses of slow name lookup.	Pierre-Marie Pédrot	2016-09-09
\| \|/
* \|	Merge PR #244.	Pierre-Marie Pédrot	2016-09-08
\|\ \
* \ \	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-09-07
\|\ \ \ \| \| \|/ \| \|/\|
\| * \|	Fast path in push_rel_context_to_named_context.	Pierre-Marie Pédrot	2016-09-05
\| * \|	Fast path in whd_evar.	Pierre-Marie Pédrot	2016-09-02
* \| \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-09-02
\|\\| \|
\| * \|	Short documentation, filling TODO's in evd.mli.	Hugo Herbelin	2016-09-01
* \| \|	CLEANUP: switching from "right-to-left" to "left-to-right" function compositi...	Matej Kosik	2016-08-30
* \| \|	CLEANUP: using \|> operator more consistently	Matej Kosik	2016-08-30
* \| \|	Removing calls of "Context.Rel.Declaration.to_tuple" function	Matej Kosik	2016-08-26
* \| \|	CLEANUP: minor readability improvements	Matej Kosik	2016-08-26
* \| \|	CLEANUP: removing "Termops.compact_named_context_reverse" function	Matej Kosik	2016-08-26
* \| \|	CLEANUP: rename "Context.Named.{to,of}_rel" functions to "Context.Named.{to,o...	Matej Kosik	2016-08-26
* \| \|	CLEANUP: renaming "Context.ListNamed" module to "Context.Compacted"	Matej Kosik	2016-08-26
* \| \|	Merge remote-tracking branch 'v8.6' into trunk	Matej Kosik	2016-08-25
\|\\| \|
* \| \|	CLEANUP: changing the definition of the "Context.NamedList.Declaration" type	Matej Kosik	2016-08-25
* \| \|	CLEANUP: functions "Context.{Rel,Named}.Context.fold" were renamed to "Contex...	Matej Kosik	2016-08-25
\| * \|	Do not export an internal function in Namegen.	Pierre-Marie Pédrot	2016-08-25
* \| \|	CLEANUP: removing calls of the "Context.Named.Declaration.get_value" function	Matej Kosik	2016-08-25
* \| \|	CLEANUP: minor readability improvements	Matej Kosik	2016-08-24
* \| \|	CLEANUP: removing calls of the "Context.Named.Declaration.to_tuple" function	Matej Kosik	2016-08-24
\| \| *	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
\| \| *	Unify location handling of error functions.	Emilio Jesus Gallego Arias	2016-08-19
\| \|/ \|/\|
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-08-17
\|\\|
\| *	Two protections against failures when printing evar_map.	Hugo Herbelin	2016-08-17