coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
\|/
*	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
\|\ \ \ \ \ \ \ \ \
\| * \| \| \| \| \| \| \| \|	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
\| * \| \| \| \|	Add a test build of Nix package to GitLab CI.	Théo Zimmermann	2018-07-03
\| * \| \| \| \|	Adapt default.nix to allow nix-build to run the test-suite.	Théo Zimmermann	2018-07-03
\|/ / / / /
* \| \| \| \|	Merge PR #7978: [ci] [docker] Make sure we don't install optional packages wi...	Gaëtan Gilbert	2018-07-03
\|\ \ \ \ \
\| \| \| * \| \|	Add overlay for equations.	Gaëtan Gilbert	2018-07-03
\| \| \| * \| \|	Library: use ocaml typing to show that we find at most 2 files	Gaëtan Gilbert	2018-07-03
\| \| \| * \| \|	Library.register_loaded_library: remove unused variable	Gaëtan Gilbert	2018-07-03
\| \| \| * \| \|	Glob_ops.rename_glob_vars: fix typo	Gaëtan Gilbert	2018-07-03
\| \| \| * \| \|	Glob_ops.fix_kind_eq: fix typo	Gaëtan Gilbert	2018-07-03
\| \| \| * \| \|	Pputils: fix typo	Gaëtan Gilbert	2018-07-03
\| \| \| * \| \|	Evarutil.(e_)new_Type: remove unused env argument	Gaëtan Gilbert	2018-07-03
\| \| \| * \| \|	Remove unused function Evd.whd_sort_variable	Gaëtan Gilbert	2018-07-03
\| \| \| * \| \|	Remove unused output of Universes.normalize_univ_variables	Gaëtan Gilbert	2018-07-03
\| \| \| * \| \|	Remove unused env argument to fresh_sort_in_family	Gaëtan Gilbert	2018-07-03
\| \| \| * \| \|	Coq_omega: remove unused Goal.enters	Gaëtan Gilbert	2018-07-03