coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Add new options --no-conflict and --no-signature-check to backport script.	Théo Zimmermann	2018-07-10
*	Merge PR #7920: Generic syntax for attributes	Maxime Dénès	2018-07-09
\|\
* \	Merge PR #7884: Fix #5719: Uncaught exception Invalid_argument.	Matthieu Sozeau	2018-07-09
\|\ \
* \ \	Merge PR #8015: Output UTF-8 explicitly in timing tools	Jason Gross	2018-07-08
\|\ \ \
* \ \ \	Merge PR #7985: Remove letouzey from CODEOWNERS since he left the Coq organiz...	Maxime Dénès	2018-07-08
\|\ \ \ \
* \ \ \ \	Merge PR #8020: Modify URLs in xml-protocol.md	Théo Zimmermann	2018-07-08
\|\ \ \ \ \
\| * \| \| \| \|	Modify URLs in xml-protocol.md	Rin Arakaki	2018-07-08
\| * \| \| \| \|	Modify URLs in xml-protocol.md	Rin Arakaki	2018-07-08
\|/ / / / /
* \| \| \| \|	Merge PR #7843: Remove Emacs modes	Maxime Dénès	2018-07-08
\|\ \ \ \ \
\| * \| \| \| \|	Mention the removal of Emacs modes in CHANGES.	Théo Zimmermann	2018-07-08
\| * \| \| \| \|	Remove Emacs modes.	Théo Zimmermann	2018-07-08
\|/ / / / /
\| \| * \| \|	Output UTF-8 explicitly in timing tools	Jasper Hugunin	2018-07-07
* \| \| \| \|	Merge PR #7921: Archive the `gallina` tool	Maxime Dénès	2018-07-07
\|\ \ \ \ \
* \ \ \ \ \	Merge PR #7956: Rebuild coqtop$(EXE) in "make coqbinaries" in addition to coq...	Enrico Tassi	2018-07-07
\|\ \ \ \ \ \
* \ \ \ \ \ \	Merge PR #8005: Fix compilation of Coq with camlp5 master branch.	Emilio Jesus Gallego Arias	2018-07-07
\|\ \ \ \ \ \ \ \| \|_\|_\|_\|/ / / \|/\| \| \| \| \| \|
* \| \| \| \| \| \|	Merge PR #8001: Cache the build of the Nix package using Cachix.	Gaëtan Gilbert	2018-07-06
\|\ \ \ \ \ \ \
* \ \ \ \ \ \ \	Merge PR #7821: [refine] obey the use_unification_heuristics flag	Pierre-Marie Pédrot	2018-07-06
\|\ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \	Merge PR #8008: Add test for #8004.	Théo Zimmermann	2018-07-06
\|\ \ \ \ \ \ \ \ \
\| \| \| * \| \| \| \| \| \|	[pkg:nix] Add more comments and allow overriding extra substituters.	Théo Zimmermann	2018-07-06
\| * \| \| \| \| \| \| \| \|	Add test for #8004.	Gaëtan Gilbert	2018-07-06
\|/ / / / / / / / /
\| \| \| * / / / / /	Fix compilation of Coq with camlp5 master branch.	Pierre-Marie Pédrot	2018-07-06
\| \|_\|/ / / / / / \|/\| \| \| \| \| \| \|
* \| \| \| \| \| \| \|	Merge PR #7990: Convert timing tool to python3	Jason Gross	2018-07-05
\|\ \ \ \ \ \ \ \
\| \| * \| \| \| \| \| \|	refine: obey the use_unification_heuristics flag	Matthieu Sozeau	2018-07-05
\| \|/ / / / / / / \|/\| \| \| \| \| \| \|
* \| \| \| \| \| \| \|	Merge PR #7991: Make Travis faster by removing more builds.	Emilio Jesus Gallego Arias	2018-07-05
\|\ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \	Merge PR #7994: Make bin/ in makefile, not configure.	Emilio Jesus Gallego Arias	2018-07-05
\|\ \ \ \ \ \ \ \ \
\| \| \| \| * \| \| \| \| \|	[pkg:nix] Stop using lib.inNixShell.	Théo Zimmermann	2018-07-05
\| \| \| \| * \| \| \| \| \|	[pkg:nix] Change the download method.	Théo Zimmermann	2018-07-05
\| \| \| \| * \| \| \| \| \|	[pkg:nix] Pass through the ocamlPackages version used to build.	Théo Zimmermann	2018-07-05
\| \| \| \| * \| \| \| \| \|	[pkg:nix] Cache the build using Cachix when signing key is set.	Théo Zimmermann	2018-07-05
\| \|_\|_\|/ / / / / / \|/\| \| \| \| \| \| \| \|
\| \| * \| \| \| \| \| \|	Remove some Travis jobs to make the build faster.	Théo Zimmermann	2018-07-05
\| \|/ / / / / / / \|/\| \| \| \| \| \| \|
* \| \| \| \| \| \| \|	Merge PR #7746: Many small cleanups removing unused arguments and functions	Pierre-Marie Pédrot	2018-07-05
\|\ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \	Merge PR #7979: TACTIC EXTEND in coqpp	Emilio Jesus Gallego Arias	2018-07-05
\|\ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \	Merge PR #7973: Add a test build on NixOS to GitLab CI.	Gaëtan Gilbert	2018-07-04
\|\ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \	Merge PR #7989: [ci] Avoid annoying detached head warning.	Gaëtan Gilbert	2018-07-04
\|\ \ \ \ \ \ \ \ \ \ \
\| \| \| \| \| \| * \| \| \| \| \|	Convert timing tools to run with both python2 and python3	Jasper Hugunin	2018-07-04
* \| \| \| \| \| \| \| \| \| \| \|	Merge PR #7993: doc: Fix markup in Calculus of Inductive Constructions	Théo Zimmermann	2018-07-04
\|\ \ \ \ \ \ \ \ \ \ \ \
\| \| \| \| \| \| \| \| \| \| * \| \|	Remove letouzey from CODEOWNERS since he left the Coq organization.	Gaëtan Gilbert	2018-07-04
\| \| \| \| \| \| \| \| \|_\|/ / / \| \| \| \| \| \| \| \|/\| \| \| \|
\| * \| \| \| \| \| / \| \| \| \|	doc: Fix markup in Calculus of Inductive Constructions	Fabian	2018-07-04
\| \| \|_\|_\|_\|_\|/ / / / / \| \|/\| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \| \|	Merge PR #7992: Print something after the build completed if it wasn't a runn...	Gaëtan Gilbert	2018-07-04
\|\ \ \ \ \ \ \ \ \ \ \ \| \|/ / / / / / / / / / \|/\| \| \| \| \| \| \| \| \| \|
\| * \| \| \| \| \| \| \| \| \|	Print something after the build completed if it wasn't a runner failure.	Théo Zimmermann	2018-07-04
\|/ / / / / / / / / /
\| * / / / / / / / /	[ci] Avoid annoying detached head warning.	Emilio Jesus Gallego Arias	2018-07-04
\|/ / / / / / / / /
\| \| \| \| * / / / /	Make bin/ in makefile, not configure.	Gaëtan Gilbert	2018-07-04
\| \|_\|_\|/ / / / / \|/\| \| \| \| \| \| \|
\| * \| \| \| \| \| \|	Add a shell.nix that is not pinned to satisfy some developers' preference.	Théo Zimmermann	2018-07-03
\| * \| \| \| \| \| \|	Refactor default.nix to use optionals.	Théo Zimmermann	2018-07-03
\| * \| \| \| \| \| \|	Fix timing tools on NixOS.	Théo Zimmermann	2018-07-03
\| \| \| \| \| \| \| *	[test suite] Test case for attributes	Vincent Laporte	2018-07-03
\| \| \| \| \| \| \| *	Document attributes.	Vincent Laporte	2018-07-03
\| \| \| \| \| \| \| *	fix syntax of .mlg	Vincent Laporte	2018-07-03
\| \| \| \| \| \| \| *	Describe attributes in the documentation.	Vincent Laporte	2018-07-03
\| \| \| \| \| \| \| *	[vernac] use a record for the contents of the “deprecated” attribute	Vincent Laporte	2018-07-03