coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[travis] Remove some more jobs from PR testing now that they are on Gitlab.	Emilio Jesus Gallego Arias	2018-05-16
*	Merge PR #7507: gitlab CI: fix [warnings] template	Emilio Jesus Gallego Arias	2018-05-16
\|\
* \	Merge PR #7505: Pick up user overlays when running GitLab CI on PRs.	Emilio Jesus Gallego Arias	2018-05-16
\|\ \
* \ \	Merge PR #7519: git / gpg integration link	Théo Zimmermann	2018-05-15
\|\ \ \
* \ \ \	Merge PR #7465: Don't use ref universe_opt_subst in universe normalisation fu...	Pierre-Marie Pédrot	2018-05-15
\|\ \ \ \
\| \| * \| \|	Update MERGING.md	Matthieu Sozeau	2018-05-15
\| \| * \| \|	Update MERGING.md	Matthieu Sozeau	2018-05-15
\| \| * \| \|	git / gpg integration link	Matthieu Sozeau	2018-05-15
* \| \| \| \|	Merge PR #7213: Do not compute constr matching context if not used.	Matthieu Sozeau	2018-05-15
\|\ \ \ \ \ \| \|_\|/ / / \|/\| \| \| \|
* \| \| \| \|	Merge PR #7487: Remove duplicate entries for Proof, Qed, Defined, Admitted.	Maxime Dénès	2018-05-15
\|\ \ \ \ \
* \ \ \ \ \	Merge PR #7503: [ci] [circleci] Remove jobs done in Gitlab efficiently.	Gaëtan Gilbert	2018-05-15
\|\ \ \ \ \ \
* \ \ \ \ \ \	Merge PR #7224: Attempt to fix the doubly encapsulated Ltac errors in coqide	Enrico Tassi	2018-05-15
\|\ \ \ \ \ \ \
* \ \ \ \ \ \ \	Merge PR #7190: Option for quick compilation of the reference manual, bypassi...	Maxime Dénès	2018-05-14
\|\ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \	Merge PR #7506: Add GitLab CI badge in first position.	Maxime Dénès	2018-05-14
\|\ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \	Merge PR #7504: Define code owners for more CI files.	Maxime Dénès	2018-05-14
\|\ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \	Merge PR #7170: Script to identify the code owner for given files	Maxime Dénès	2018-05-14
\|\ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \	Merge PR #7337: dir-locals: add bug-reference-mode variables	Emilio Jesus Gallego Arias	2018-05-14
\|\ \ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \ \	Merge PR #7482: Update CI documentation following recent evolutions.	Emilio Jesus Gallego Arias	2018-05-14
\|\ \ \ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \ \ \	Merge PR #7502: Fixing little printing bug with "Locate" on recursive notations	Emilio Jesus Gallego Arias	2018-05-14
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \ \ \ \	Merge PR #7344: Windows packaging build with Gitlab CI	Gaëtan Gilbert	2018-05-14
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \	Merge PR #7479: Move 4722 (dangling symlink) to misc tests, remove dangling s...	Gaëtan Gilbert	2018-05-14
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
\| \| \| \| \| \| \| \| \| \| \| \| * \| \| \| \|	Remove duplicate entries for Proof, Qed, Defined, Admitted.	Théo Zimmermann	2018-05-14
\| \|_\|_\|_\|_\|_\|_\|_\|_\|_\|_\|/ / / / / \|/\| \| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| *	gitlab CI: fix [warnings] template	Gaëtan Gilbert	2018-05-14
* \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Merge PR #7374: [sphinx] More fatal warnings.	Maxime Dénès	2018-05-14
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \| \|_\|_\|_\|_\|_\|_\|_\|_\|_\|_\|_\|_\|_\|_\|/ \|/\| \| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| \| \| \| \| \| \| \| * \| \| \| \| \| \|	Add GitLab CI badge in first position.	Théo Zimmermann	2018-05-14
\| \|_\|_\|_\|_\|_\|_\|_\|/ / / / / / / \|/\| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| \| \| \| \| \| \| \| \| \| \| \| \| *	Pick up user overlays when running GitLab CI on PRs.	Théo Zimmermann	2018-05-14
\| \|_\|_\|_\|_\|_\|_\|_\|_\|_\|_\|_\|_\|/ \|/\| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| \| \| \| \| \| \| * \| \| \| \| \|	Define code owners for more CI files.	Théo Zimmermann	2018-05-14
\| \|_\|_\|_\|_\|_\|_\|/ / / / / / \|/\| \| \| \| \| \| \| \| \| \| \| \|
\| \| \| \| \| * \| \| \| \| \| \| \|	Update CI documentation following recent evolutions.	Théo Zimmermann	2018-05-14
* \| \| \| \| \| \| \| \| \| \| \| \|	Merge PR #7365: Mini fixes in the tactics chapter	Maxime Dénès	2018-05-14
\|\ \ \ \ \ \ \ \ \ \ \ \ \
\| \| \| \| \| \| \| \| \| \| \| * \| \|	[ci] [circleci] Remove jobs done in Gitlab efficiently.	Emilio Jesus Gallego Arias	2018-05-14
\| \|_\|_\|_\|_\|_\|_\|_\|_\|_\|/ / / \|/\| \| \| \| \| \| \| \| \| \| \| \|
\| \| \| \| \| * \| \| \| \| \| \| \|	Fixing a bug in printing the body of a located notation.	Hugo Herbelin	2018-05-13
\| \| \| \| \| * \| \| \| \| \| \| \|	Removing a superfluous trailing newline in "Locate" for a notation.	Hugo Herbelin	2018-05-13
\| \|_\|_\|_\|/ / / / / / / / \|/\| \| \| \| \| \| \| \| \| \| \|
\| \| \| * \| \| \| \| \| \| \| \|	Move 4722 (dangling symlink) to misc tests, remove dangling symlink from repo	Ralf Jung	2018-05-13
* \| \| \| \| \| \| \| \| \| \| \|	Merge PR #7477: Support for notations with autonomous only-parsing and only-p...	Emilio Jesus Gallego Arias	2018-05-13
\|\ \ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \ \	Merge PR #7489: gitlab CI: remove math-classes job	Emilio Jesus Gallego Arias	2018-05-13
\|\ \ \ \ \ \ \ \ \ \ \ \ \
\| \| \| \| \| \| \| \| \| \| * \| \| \|	Sphinx: a "QUICK=1" option to bypass recompilation of the library.	Hugo Herbelin	2018-05-12
\| \|_\|_\|_\|_\|_\|_\|_\|_\|/ / / / \|/\| \| \| \| \| \| \| \| \| \| \| \|
\| * \| \| \| \| \| \| \| \| \| \| \|	gitlab CI: remove math-classes job	Gaëtan Gilbert	2018-05-11
* \| \| \| \| \| \| \| \| \| \| \| \|	Merge PR #7340: Remove DirClosedSection.	Enrico Tassi	2018-05-11
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \| \|/ / / / / / / / / / / / \|/\| \| \| \| \| \| \| \| \| \| \| \|
\| \| \| * \| \| \| \| \| \| \| \| \|	Doc: Renaming an old-style numerical evar in an alphabetical one.	Hugo Herbelin	2018-05-11
\| \| \| * \| \| \| \| \| \| \| \| \|	Doc: Moving `\forall` to `forall` in file tactics.rst.	Hugo Herbelin	2018-05-11
\| \| \| * \| \| \| \| \| \| \| \| \|	Doc: Some quotes missing in file tactics.rst.	Hugo Herbelin	2018-05-11
\| \| \| * \| \| \| \| \| \| \| \| \|	Replacing a broken reference by hyperlinks in chapter tactics.	Hugo Herbelin	2018-05-11
\| \| \| * \| \| \| \| \| \| \| \| \|	A few fixes in chapter tactics.	Hugo Herbelin	2018-05-11
\| \|_\|/ / / / / / / / / / \|/\| \| \| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \| \| \|	Merge PR #7470: use at least 6 Xs in mktemp filename templates	Gaëtan Gilbert	2018-05-11
\|\ \ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \ \	Merge PR #6959: [build] Build checker generated files using a make rule.	Enrico Tassi	2018-05-11
\|\ \ \ \ \ \ \ \ \ \ \ \ \
\| \| \| \| * \| \| \| \| \| \| \| \| \|	Notations: advertize that distinct "only parsing"/"only printing" rules work.	Hugo Herbelin	2018-05-11
* \| \| \| \| \| \| \| \| \| \| \| \| \|	Merge PR #7466: Remove tutorials from the repo	Maxime Dénès	2018-05-11
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \ \ \ \	Merge PR #7461: [sphinx] Improve the proof handling chapter.	Maxime Dénès	2018-05-11
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \| \|_\|_\|_\|_\|_\|_\|_\|_\|/ / / / / / \|/\| \| \| \| \| \| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Merge PR #7341: Don't recurse into closed modules/sections in split_lib.	Enrico Tassi	2018-05-11
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \
\| \| \| \| \| \| \| \| \| \| \| * \| \| \| \|	coqdev.el: add bug-reference-mode variables	Gaëtan Gilbert	2018-05-11