coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
\| \| \| \| \| \| \| \| \| \| * \| \| \| \|	ocaml -> OCaml in configure.ml.	Maxime Dénès	2017-06-23
\| \| \| \| \| \| \| \| \| \| * \| \| \| \|	Merge PR#729: Fixing an inconsistency between configure and configure.ml	Maxime Dénès	2017-06-23
\| \| \| \| \| \| \| \| \| \| \|\ \ \ \ \
\| \| \| \| \| \| \| \| \| \| * \ \ \ \ \	Merge PR#740: Refactor documentation of records.	Maxime Dénès	2017-06-23
\| \| \| \| \| \| \| \| \| \| \|\ \ \ \ \ \
\| \| \| \| \| \| \| \| \| \| \| \| \| * \| \| \|	Add tests for handling of warnings	Tej Chajed	2017-06-23
\| \| \| \| \| \| \| \| \| \| \| \| \| * \| \| \|	Fix bug 5392: Warnings defined in plugins are considered unknown	Maxime Dénès	2017-06-23
\| \| \| \| \| \| \| \| \| \| \| \|_\|/ / / / \| \| \| \| \| \| \| \| \| \| \|/\| \| \| \| \|
\| \| \| \| \| \| \| \| * \| \| \| \| \| \| \|	Add test-suite file for funind, extraction with compat 8.6	Jason Gross	2017-06-22
\| \| \| \| \| \| \| \| * \| \| \| \| \| \| \|	Put plugin exports in the right compatibility file	Jason Gross	2017-06-22
\| \|_\|_\|_\|_\|_\|_\|/ / / / / / / / \|/\| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| \| \| \| \| \| * \| \| \| \| \| \| \|	Ignore all PDF files.	Théo Zimmermann	2017-06-22
* \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Merge PR#817: [stm] Fix route setting on VtQuery	Maxime Dénès	2017-06-22
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \| \|_\|_\|_\|_\|_\|_\|/ / / / / / / / \|/\| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| \| \| \| \| \| * \| \| \| \| \| \| \|	Add missing definition and fix #use include;; as suggested by @amintimany.	Théo Zimmermann	2017-06-22
\| \|_\|_\|_\|_\|_\|/ / / / / / / / \|/\| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| \| \| \| \| * \| \| \| \| \| \| \|	[vernac] Remove stale bool parameter from `VernacStartTheoremProof`	Emilio Jesus Gallego Arias	2017-06-21
\| \|_\|_\|_\|_\|/ / / / / / / / \|/\| \| \| \| \| \| \| \| \| \| \| \|
\| \| \| \| \| * \| \| \| \| \| \| \|	[ide] Correct more merging errors.	Emilio Jesus Gallego Arias	2017-06-21
\| \|_\|_\|_\|/ / / / / / / / \|/\| \| \| \| \| \| \| \| \| \| \|
\| \| \| \| \| * \| \| \| \| \| \|	Should fix a false negative reported by deps-order.sh.	Hugo Herbelin	2017-06-21
\| \|_\|_\|_\|/ / / / / / / \|/\| \| \| \| \| \| \| \| \| \|
\| * \| \| \| \| \| \| \| \| \|	[stm] Fix route setting on VtQuery	Emilio Jesus Gallego Arias	2017-06-20
\|/ / / / / / / / / /
\| \| \| * \| \| \| \| \| \|	STM: par: report no error to UIs in non-solve mode	Enrico Tassi	2017-06-20
\| \| \| \| \| \| \| \| * \|	Default colors for CoqIDE are actually applied.	Cyprien Mangin	2017-06-20
\| \| \| \| \| \|_\|_\|/ / \| \| \| \| \|/\| \| \| \|
\| * \| \| \| \| \| \| \|	[vernac] Remove forward hooks from Obligations.	Emilio Jesus Gallego Arias	2017-06-20
\| * \| \| \| \| \| \| \|	[vernac] Remove unused hooks.	Emilio Jesus Gallego Arias	2017-06-20
\|/ / / / / / / /
\| \| \| * \| \| \| \|	Merge PR#812: Use more neutral wording instead of mentioning CoqIDE	Maxime Dénès	2017-06-20
\| \| \| \|\ \ \ \ \
* \| \| \| \ \ \ \ \	Merge PR#742: Fix `make TIMED=1` garbage	Maxime Dénès	2017-06-20
\|\ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \	Merge PR#774: [ide] Add route_id parameter to query call.	Maxime Dénès	2017-06-20
\|\ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \	Merge PR#793: Fixing restriction of existential variables regarding evar_store	Maxime Dénès	2017-06-20
\|\ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \	Merge PR#807: romega: fix a slowdown	Maxime Dénès	2017-06-20
\|\ \ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \ \	Merge PR#803: Clean ssr	Maxime Dénès	2017-06-20
\|\ \ \ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \ \ \	Merge PR#790: Direct link to Travis branch builds.	Maxime Dénès	2017-06-20
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \ \ \ \	Merge PR#779: Each user overlay goes into its own file.	Maxime Dénès	2017-06-20
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \	Merge PR#787: [typeclasses eauto] Fix bug #3943: non-termination in topological	Maxime Dénès	2017-06-19
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \	Merge PR#777: Improving documentation of tactic "move" (report #4561)	Maxime Dénès	2017-06-19
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \	Merge PR#760: Fixing base_include after loc is an option + a better test that...	Maxime Dénès	2017-06-19
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \	Merge PR#795: [ide] Better exn printing. [fixes BZ#5524]	Maxime Dénès	2017-06-19
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
\| \| \| \| \| \| \| \| \| \| \| \| \| \| * \ \ \ \ \	Merge PR#792: Fix ci-fiat-crypto to have a proper lite target	Maxime Dénès	2017-06-19
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \|\ \ \ \ \ \
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| * \| \| \| \|	Change CoqIDE-specific to neutral wording	Paul Steckler	2017-06-19
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|/ / / / / \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|/\| \| \| \| \|
* \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Merge PR#613: Cumulativity for inductive types	Maxime Dénès	2017-06-19
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
* \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Test case for bug 5578.	Maxime Dénès	2017-06-19
* \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Merge PR#727: [tactics] Fix summary registration of global hint variable.	Maxime Dénès	2017-06-19
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
* \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Fix typo in comment.	Maxime Dénès	2017-06-19
\| \|_\|_\|_\|_\|_\|_\|_\|_\|_\|_\|_\|_\|_\|/ / / / / / / \|/\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Merge PR#784: API additions for coq-dpdgraph	Maxime Dénès	2017-06-19
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \	Merge PR#755: "There are pending proofs" error message now lists the name of ...	Maxime Dénès	2017-06-19
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
\| \| \| \| \| \| \| \| \| \| \| \| \| \| * \| \| \| \| \| \| \| \|	[ide] Add route_id parameter to query call.	Emilio Jesus Gallego Arias	2017-06-18
\| \| \| \| \| * \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	[ide] Better exn printing. [fixes BZ#5524]	Emilio Jesus Gallego Arias	2017-06-18
\| \| \| \| \| \| \|_\|_\|_\|_\|_\|_\|_\|/ / / / / / / / / \| \| \| \| \| \|/\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| * \| \| \| \|	Remove -j ${NJOBS} from make invocations in the ci	Jason Gross	2017-06-16
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| * \| \| \| \|	Pass GNU Make jobserver on to the ci jobs	Jason Gross	2017-06-16
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| * \| \| \| \|	Fix ci-fiat-crypto to have a proper lite target	Jason Gross	2017-06-16
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|/ / / / /
* \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Merge PR#804: Increase the time limit on 4366.v to make gitlab work better.	Maxime Dénès	2017-06-16
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
\| \| \| \| \| \| \| \| \| \| \| \| \| * \| \| \| \| \| \| \| \|	romega: avoid potential slowdown when changing concl by reified version	Pierre Letouzey	2017-06-16
\| \| \| \| \| \| \| \|_\|_\|_\|_\|_\|/ / / / / / / / / \| \| \| \| \| \| \|/\| \| \| \| \| \| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Merge PR#759: don't leak unqualified identifiers from the macro	Maxime Dénès	2017-06-16
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \| \|_\|_\|_\|_\|_\|/ / / / / / / / / / / / / / / \|/\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| * \| \| \| \|	Merge PR#730: Protecting from warnings while compiling 8.6	Maxime Dénès	2017-06-16
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|\ \ \ \ \
\| \| \| \| * \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Add coq-dpdgraph to gitlab CI	Gaëtan Gilbert	2017-06-16
\| \| \| * \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	"There are pending proofs" error message now lists the name of the proofs.	Théo Zimmermann	2017-06-16
\| \|_\|/ / / / / / / / / / / / / / / / / / / \|/\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| * \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Increase the time limit on 4366.v to make gitlab work better.	Gaëtan Gilbert	2017-06-16
\| \|/ / / / / / / / / / / / / / / / / / / \|/\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|