coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge PR #6809: Improve shell scripts	Michael Soegtrop	2018-04-08
\|\
* \	Merge PR #6960: [api] Move some types to their proper module.	Pierre-Marie Pédrot	2018-04-06
\|\ \
* \ \	Merge PR #7178: Fixes issue #7172 (don't include MinGW make in install)	Enrico Tassi	2018-04-06
\|\ \ \
\| \| \| *	Improve shell scripts	zapashcanon	2018-04-05
\| \|_\|/ \|/\| \|
\| * \|	Fixes issue #7172 (don't include MinGW make in install)	Michael Soegtrop	2018-04-05
* \| \|	Add note for homebrew users.	Théo Zimmermann	2018-04-05
* \| \|	Some advice about merge script dependencies.	Théo Zimmermann	2018-04-05
* \| \|	Improve the MERGING doc.	Théo Zimmermann	2018-04-05
\|/ /
* \|	merge-pr.sh: cache github API calls	Gaëtan Gilbert	2018-04-03
\| *	[api] Move some types to their proper module.	Emilio Jesus Gallego Arias	2018-04-02
\|/
*	Merge PR #6950: pre-commit, linter: verify user overlay extensions (must be sh)	Emilio Jesus Gallego Arias	2018-03-31
\|\
\| *	Linter: verify overlay extensions.	Gaëtan Gilbert	2018-03-31
\| *	pre-commit: verify user overlay extensions (must be .sh).	Gaëtan Gilbert	2018-03-31
* \|	Remove outdated patch from ci-sf	Jasper Hugunin	2018-03-29
\|/
*	Merge PR #6739: Tentative fix for #6520: camlcity.org unresponsive makes AppV...	Maxime Dénès	2018-03-26
\|\
* \	Merge PR #6970: [vernac] Move `Quit` and `Drop` to the toplevel layer.	Enrico Tassi	2018-03-26
\|\ \
* \ \	Merge PR #7029: improve merge-pr script	Maxime Dénès	2018-03-23
\|\ \ \
\| * \| \|	improve merge-pr script	Enrico Tassi	2018-03-23
* \| \| \|	More precise wording about the merge process.	Maxime Dénès	2018-03-23
* \| \| \|	Refine a bit the decentralized merging process.	Maxime Dénès	2018-03-21
\|/ / /
* \| \|	Describe new merging process.	Maxime Dénès	2018-03-19
* \| \|	[win] update bignums to tag V8.8+beta1	Enrico Tassi	2018-03-15
\| * \|	[vernac] Move `Quit` and `Drop` to the toplevel layer.	Emilio Jesus Gallego Arias	2018-03-11
\|/ /
* \|	[ssreflect] Fix module scoping problems due to packing and mli files.	Emilio Jesus Gallego Arias	2018-03-10
* \|	[located] Push inner locations in `reference` to a CAst.t node.	Emilio Jesus Gallego Arias	2018-03-09
* \|	[located] More work towards using CAst.t	Emilio Jesus Gallego Arias	2018-03-09
* \|	Merge PR #6775: Allow using cumulativity without forcing strict constraints.	Maxime Dénès	2018-03-09
\|\ \
\| * \|	Overlay for Elpi.	Gaëtan Gilbert	2018-03-09
* \| \|	Add an overlay for Equations and Ltac2.	Pierre-Marie Pédrot	2018-03-09
\|/ /
* \|	Merge PR #6817: [configure]: support for profiles	Maxime Dénès	2018-03-08
\|\ \
* \ \	Merge PR #6881: [windows] support -addon in build script	Maxime Dénès	2018-03-08
\|\ \ \
\| \| * \|	document -profile in dev/doc/setup.txt	Enrico Tassi	2018-03-06
* \| \| \|	Standard headers for C and Python.	Maxime Dénès	2018-03-06
\| * \| \|	Hack to make bignum build on windows	Enrico Tassi	2018-03-06
\| * \| \|	build: win: turn off build/installation of gnu Make	Enrico Tassi	2018-03-06
* \| \| \|	Merge PR #6855: Update headers following #6543.	Maxime Dénès	2018-03-05
\|\ \ \ \
* \ \ \ \	Merge PR #935: Handling evars in the VM	Maxime Dénès	2018-03-04
\|\ \ \ \ \ \| \|_\|_\|/ / \|/\| \| \| \|
* \| \| \| \|	Merge PR #6511: [econstr] Continue consolidation of EConstr API under `interp`.	Maxime Dénès	2018-03-04
\|\ \ \ \ \
* \ \ \ \ \	Merge PR #6876: Unify Const_sorts and Const_type, and remove Vsort	Maxime Dénès	2018-03-04
\|\ \ \ \ \ \
* \ \ \ \ \ \	Merge PR #6873: [toplevel] Update state when `Drop` exception is thrown [#6872]	Maxime Dénès	2018-03-04
\|\ \ \ \ \ \ \
* \ \ \ \ \ \ \	Merge PR #6676: [proofview] goals come with a state	Maxime Dénès	2018-03-04
\|\ \ \ \ \ \ \ \
\| \| \| \| \| * \| \| \|	Handling evars in the VM.	Pierre-Marie Pédrot	2018-03-03
\| \|_\|_\|_\|/ / / / \|/\| \| \| \| \| \| \|
\| \| \| * \| \| \| \|	[VM] Unify Const_sorts and Const_type, and remove Vsort.	Maxime Dénès	2018-03-02
\| \|_\|/ / / / / \|/\| \| \| \| \| \|
\| \| \| \| \| * \|	installer: win: put addons in a separate package	Enrico Tassi	2018-03-02
\| \| \| \| \| * \|	build: win: detect 404 as HTML files	Enrico Tassi	2018-03-02
\| \| \| \| \| * \|	build: win: addon bignums	Enrico Tassi	2018-03-02
\| \| \| \| \| * \|	build: win: support for addons	Enrico Tassi	2018-03-02
\| \| * \| \| \| \|	[toplevel] Update state when `Drop` exception is thrown [#6872]	Emilio Jesus Gallego Arias	2018-02-28
\| \|/ / / / / \|/\| \| \| \| \|
\| \| * \| \| \|	[econstr] Continue consolidation of EConstr API under `interp`.	Emilio Jesus Gallego Arias	2018-02-28
\| \|/ / / / \|/\| \| \| \|
* \| \| \| \|	Merge PR #6789: Check whitespace errors per-commit.	Maxime Dénès	2018-02-28
\|\ \ \ \ \