coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Near-full implementation of Circle CI.	Gaëtan Gilbert	2017-12-12
*	CI: poc Circleci configuration	Arnaud Spiwack	2017-12-11
*	Merge PR #6368: [api] Remove yet another type alias.	Maxime Dénès	2017-12-11
\|\
* \	Merge PR #6352: [makefile] Address #6291: install more development files.	Maxime Dénès	2017-12-11
\|\ \
* \ \	Merge PR #6324: Fix #6323: stronger restrict universe context vs abstract.	Maxime Dénès	2017-12-11
\|\ \ \
* \ \ \	Merge PR #1150: [stm] Remove all but one use of VtUnknown.	Maxime Dénès	2017-12-11
\|\ \ \ \
* \ \ \ \	Merge PR #6338: Remove up-to-conversion term matching	Maxime Dénès	2017-12-11
\|\ \ \ \ \
* \ \ \ \ \	Merge PR #6369: [api] Remove kernel dependency on intf (Decl_kind)	Maxime Dénès	2017-12-11
\|\ \ \ \ \ \
* \ \ \ \ \ \	Merge PR #6363: [META] Some dependency fixes.	Maxime Dénès	2017-12-11
\|\ \ \ \ \ \ \
* \ \ \ \ \ \ \	Merge PR #6358: [ci] Download ci-sf archives into the proper CI build dir.	Maxime Dénès	2017-12-11
\|\ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \	Merge PR #6351: Fix a copy-paste error in ci-ltac2.	Maxime Dénès	2017-12-11
\|\ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \	Merge PR #6346: [ci] CoLoR has moved to github	Maxime Dénès	2017-12-11
\|\ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \	Merge PR #6340: [default.nix] Add ocpIndent and ocp-index.	Maxime Dénès	2017-12-11
\|\ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \	Merge PR #6370: [ci] Temporal workaround for checker non-backwards compatible...	Maxime Dénès	2017-12-10
\|\ \ \ \ \ \ \ \ \ \ \ \
\| * \| \| \| \| \| \| \| \| \| \| \|	[ci] Temporal workaround for checker non-backwards compatible change.	Emilio Jesus Gallego Arias	2017-12-10
\| \| \| \| \| \| \| * \| \| \| \| \|	[api] Remove kernel dependency on intf (Decl_kind)	Emilio Jesus Gallego Arias	2017-12-10
\| \| \|_\|_\|_\|_\|/ / / / / / \| \|/\| \| \| \| \| \| \| \| \| \|
\| \| \| \| \| \| \| \| \| \| \| *	[api] Remove yet another type alias.	Emilio Jesus Gallego Arias	2017-12-09
\| \| \|_\|_\|_\|_\|_\|_\|_\|_\|/ \| \|/\| \| \| \| \| \| \| \| \|
\| \| \| \| \| \| * \| \| \| \|	[META] Some dependency fixes.	Emilio Jesus Gallego Arias	2017-12-09
\| \| \|_\|_\|_\|/ / / / / \| \|/\| \| \| \| \| \| \| \|
\| \| \| \| \| \| \| * \| \|	[stm] Remove all but one use of VtUnknown.	Emilio Jesus Gallego Arias	2017-12-09
\| \| \|_\|_\|_\|_\|/ / / \| \|/\| \| \| \| \| \| \|
\| \| \| \| \| \| * \| \|	Remove up-to-conversion matching functions.	Pierre-Marie Pédrot	2017-12-09
\| \| \| \| \| * \| \| \|	[ci] Download ci-sf archives into the proper CI build dir.	Emilio Jesus Gallego Arias	2017-12-09
\| \|_\|_\|_\|/ / / / \|/\| \| \| \| \| \| \|
\| * \| \| \| \| \| \|	Revert "CI: poc Circleci configuration"	Arnaud Spiwack	2017-12-08
\| * \| \| \| \| \| \|	CI: poc Circleci configuration	Arnaud Spiwack	2017-12-08
\|/ / / / / / /
\| \| \| \| \| \| *	[makefile] Address #6291: install more development files.	Emilio Jesus Gallego Arias	2017-12-08
\| \|_\|_\|_\|_\|/ \|/\| \| \| \| \|
\| \| \| * \| \|	Fix a copy-paste error in ci-ltac2.	Théo Zimmermann	2017-12-08
* \| \| \| \| \|	Merge PR #6334: Remove dead code in Reductionops	Maxime Dénès	2017-12-08
\|\ \ \ \ \ \
* \ \ \ \ \ \	Merge PR #6158: Allows a level in the raw and glob printers	Maxime Dénès	2017-12-08
\|\ \ \ \ \ \ \
* \ \ \ \ \ \ \	Merge PR #6224: Add alienclean target to remove compilation products with no ...	Maxime Dénès	2017-12-08
\|\ \ \ \ \ \ \ \
\| \| \| \| \| * \| \| \|	[ci] CoLoR has moved to github	Emilio Jesus Gallego Arias	2017-12-07
* \| \| \| \| \| \| \| \|	Merge PR #6267: Fix PR merge script.	Maxime Dénès	2017-12-07
\|\ \ \ \ \ \ \ \ \
\| \| \| \| \| * \| \| \| \|	[default.nix] Add ocpIndent and ocp-index.	Maxime Dénès	2017-12-07
\| \|_\|_\|_\|/ / / / / \|/\| \| \| \| \| \| \| \|
\| \| \| \| \| \| \| * \|	Getting rid of pf_matches in Hipattern.	Pierre-Marie Pédrot	2017-12-07
* \| \| \| \| \| \| \| \|	Merge PR #6290: Rename update to set, Fixes #6196	Maxime Dénès	2017-12-07
\|\ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \	Merge PR #873: New strategy based on open scopes for deciding which notation ...	Maxime Dénès	2017-12-07
\|\ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \	Merge PR #6142: Single quotes break on Windows	Maxime Dénès	2017-12-07
\|\ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \	Merge PR #6277: Qualified import in coqchk	Maxime Dénès	2017-12-07
\|\ \ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \ \	Merge PR #6322: Fix #6286 (non stability of micromega csdp cache rebuilding)	Maxime Dénès	2017-12-07
\|\ \ \ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \ \ \	Merge PR #6321: Use preference for ocamlfind in configure	Maxime Dénès	2017-12-07
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \ \ \ \	Merge PR #6316: Correct typo	Maxime Dénès	2017-12-07
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \	Merge PR #6309: [default.nix] needs ncurses for the test-suite	Maxime Dénès	2017-12-07
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \	Merge PR #6303: Remove redundant Zcase from the checker.	Maxime Dénès	2017-12-07
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \| \|_\|_\|_\|_\|_\|_\|_\|_\|_\|_\|_\|_\|/ / / / \|/\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| * \|	Getting rid of pf_is_matching in Funind.	Pierre-Marie Pédrot	2017-12-06
\| \|_\|_\|_\|_\|_\|_\|_\|_\|_\|_\|_\|_\|_\|/ / \|/\| \| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| \| \| \| \| \| \| \| \| \| \| \| * \| \|	Getting rid of the Update constructor in Reductionops.	Pierre-Marie Pédrot	2017-12-06
\| \| \| \| \| \| \| \| \| \| \| \| \| * \| \|	Getting rid of the Shift constructor in Reductionops.	Pierre-Marie Pédrot	2017-12-06
\| \|_\|_\|_\|_\|_\|_\|_\|_\|_\|_\|_\|/ / / \|/\| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| \| \| \| \| \| \| \| \| \| \| \| \| *	Overlay for Equations.	Gaëtan Gilbert	2017-12-06
\| \| \| \| \| \| \| \| \| \| \| \| \| \| *	Fix #6323: stronger restrict universe context vs abstract.	Gaëtan Gilbert	2017-12-06
\| \|_\|_\|_\|_\|_\|_\|_\|_\|_\|_\|_\|_\|/ \|/\| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| \| \| \| * \| \| \| \| \| \| \| \|	Replacing Hashtbl.add by Hashtbl.replace in micromega cache building.	Hugo Herbelin	2017-12-05
\| \| \| \| \| \| \| \| \| * \| \| \| \|	Rename update to set, fixes #6196	Paul Steckler	2017-12-05
\| \| \| \| * \| \| \| \| \| \| \| \| \|	use preference for ocamlfind	Paul Steckler	2017-12-05
\| \|_\|_\|/ / / / / / / / / / \|/\| \| \| \| \| \| \| \| \| \| \| \|
\| \| \| * \| \| \| \| \| \| \| \| \|	Correct typo	Martin Vassor	2017-12-05
\| \|_\|/ / / / / / / / / / \|/\| \| \| \| \| \| \| \| \| \| \|