coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
\|\ \ \
* \ \ \	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
\|/ / /
\| * \|	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
\|\ \
* \ \	Merge PR #7607: Simplify reification of predicate in bytecode and native comp...	Pierre-Marie Pédrot	2018-07-03
\|\ \ \
* \ \ \	Merge PR #7820: [hints] Add Hint Variables/Constants Opaque/Transparent commands	Pierre-Marie Pédrot	2018-07-03
\|\ \ \ \
* \ \ \ \	Merge PR #7942: Extend readme with 'beginners guide'	Théo Zimmermann	2018-07-03
\|\ \ \ \ \
* \ \ \ \ \	Merge PR #7974: Fix default.nix following a package renaming.	Vincent Laporte	2018-07-03
\|\ \ \ \ \ \
* \ \ \ \ \ \	Merge PR #7977: allow `make check` to succeed when -prefix is given to ./conf...	Emilio Jesus Gallego Arias	2018-07-03
\|\ \ \ \ \ \ \
\| \| \| \| \| \| * \|	[ci] [docker] Make sure we don't install optional packages with apt.	Emilio Jesus Gallego Arias	2018-07-02
* \| \| \| \| \| \| \|	Merge PR #7703: Add an option to force parameters to be uniform	Matthieu Sozeau	2018-07-02
\|\ \ \ \ \ \ \ \
\| \| \| \| \| \| \| \| *	Rename the "chan" argument into "fmt" in coqpp_main.	Pierre-Marie Pédrot	2018-07-02
\| \| \| \| \| \| \| \| *	Remove the hardcoded compatibility wit_hyp -> wit_var from the parser.	Pierre-Marie Pédrot	2018-07-02
\| \| \| \| \| \| \| \| *	Slight simplification of the Tacentries API to register ML tactics.	Pierre-Marie Pédrot	2018-07-02
\| \| \| \| \| \| \| \| *	Documenting the syntax changes.	Pierre-Marie Pédrot	2018-07-02
\| \| \| \| \| \| \| \| *	Moving various ml4 files to mlg.	Pierre-Marie Pédrot	2018-07-02
\| \| \| \| \| \| \| \| *	Implementing TACTIC EXTEND in coqpp.	Pierre-Marie Pédrot	2018-07-02
\| \| \| \| \| \| \| \|/
\| \| \| \| \| * \| \|	Add Equations overlay	Matthieu Sozeau	2018-07-02
* \| \| \| \| \| \| \|	Merge PR #7969: doc: typesetting and hyperlinks in Syntax Extensions	Théo Zimmermann	2018-07-02
\|\ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \	Merge PR #7965: doc: Fix typesetting in Gallina extensions	Théo Zimmermann	2018-07-02
\|\ \ \ \ \ \ \ \ \ \| \|_\|_\|_\|_\|_\|_\|_\|/ \|/\| \| \| \| \| \| \| \|
\| \| \| \| \| \| * \| \|	Clean up documentation around beginner's guide.	Siddharth Bhat	2018-07-02
\| \|_\|_\|_\|_\|/ / / \|/\| \| \| \| \| \| \|
\| \| \| \| * \| \| \|	[envars] honor env variable COQLIB	Enrico Tassi	2018-07-02
\| \| \| \| \| \| * \|	hints: add Hint Variables/Constants Opaque/Transparent commands	Matthieu Sozeau	2018-07-02
\| \|_\|_\|_\|_\|/ / \|/\| \| \| \| \| \|
* \| \| \| \| \| \|	Merge PR #7902: Use a homebrew parser to replace the GEXTEND extension points...	Emilio Jesus Gallego Arias	2018-07-02
\|\ \ \ \ \ \ \ \| \|_\|_\|_\|/ / / \|/\| \| \| \| \| \|
* \| \| \| \| \| \|	Merge PR #7961: [api] Fix wrong deprecation warning (#7915)	Enrico Tassi	2018-07-02
\|\ \ \ \ \ \ \
\| \| \| \| \| \| * \|	Adding back ocp-index to default.nix.	Théo Zimmermann	2018-07-02
\| \| \| \| \| \| * \|	Fix default.nix following a package renaming.	Théo Zimmermann	2018-07-02
\| \|_\|_\|_\|_\|/ / \|/\| \| \| \| \| \|
\| \| \| \| \| * \|	Document option Uniform Inductive Parameters	Jasper Hugunin	2018-07-01
\| \| \| \| \| * \|	Add test for Uniform Inductive Parameters	Jasper Hugunin	2018-07-01
\| \| \| \| \| * \|	Add flag Uniform Inductive Parameters	Jasper Hugunin	2018-07-01
\| \| \| \| \| * \|	Implement uniform parameters in ComInductive	Jasper Hugunin	2018-07-01
\| \|_\|_\|_\|/ / \|/\| \| \| \| \|
\| * \| \| \| \|	[api] Fix wrong deprecation warning (#7915)	Emilio Jesus Gallego Arias	2018-07-01
\|/ / / / /
* \| \| \| \|	Merge PR #7964: Document that GITURL variables shouldn't have a trailing .git...	Emilio Jesus Gallego Arias	2018-07-01
\|\ \ \ \ \
* \ \ \ \ \	Merge PR #7410: Splitting primitive numeral parser/printer for positive, N, Z...	Emilio Jesus Gallego Arias	2018-07-01
\|\ \ \ \ \ \
* \ \ \ \ \ \	Merge PR #7760: Fixes #7712 (an anomaly in reporting bad recursive notation f...	Emilio Jesus Gallego Arias	2018-07-01
\|\ \ \ \ \ \ \
* \ \ \ \ \ \ \	Merge PR #7759: Workaround to fix #7731 (printing not splitting line at break...	Emilio Jesus Gallego Arias	2018-07-01
\|\ \ \ \ \ \ \ \
\| \| \| \| \| \| \| * \|	doc: typesetting and hyperlinks in Syntax Extensions	Lysxia	2018-06-30
* \| \| \| \| \| \| \| \|	Merge PR #7960: [build] Remove target binary before copy.	Enrico Tassi	2018-06-30
\|\ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \	Merge PR #7949: Split the Ssrmatching module between code and grammar rules.	Enrico Tassi	2018-06-30
\|\ \ \ \ \ \ \ \ \ \ \| \|_\|_\|_\|_\|_\|_\|_\|/ / \|/\| \| \| \| \| \| \| \| \|
\| * \| \| \| \| \| \| \| \|	Split the Ssrmatching module between code and grammar rules.	Pierre-Marie Pédrot	2018-06-30
\|/ / / / / / / / /