coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
* \| \| \| \| \| \| \| \| \| \| \| \|	Merge PR #7227: [ssr] import ssreflect test suite from math-comp	Maxime Dénès	2018-05-16
\|\ \ \ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \ \ \	Merge PR #7442: Gitlab: build docker image in pipeline and use through registry.	Emilio Jesus Gallego Arias	2018-05-16
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \
\| \| \| \| \| \| \| \| * \| \| \| \| \| \|	[ci] Don't build lite versions of CI developments.	Emilio Jesus Gallego Arias	2018-05-16
\| \| \| \| * \| \| \| \| \| \| \| \| \| \|	[travis] Remove some more jobs from PR testing now that they are on Gitlab.	Emilio Jesus Gallego Arias	2018-05-16
\| \|_\|_\|/ / / / / / / / / / / \|/\| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| \| \| \| \| \| \| \| * \| \| \| \|	[ide] Don't set `quiet` on start.	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
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
\| \| \| \| \| \| \| \| * \| \| \| \| \| \| \| \|	[doc] More feedback on doc writer guide	Clément Pit-Claudel	2018-05-15
\| \| \| \| \| \| \| \| * \| \| \| \| \| \| \| \|	[doc] Search for 'coqtop' in $PATH if COQBIN is unset	Clément Pit-Claudel	2018-05-15
\| \| \| \| \| \| \| \| * \| \| \| \| \| \| \| \|	[doc] Address feedback on doc writer guide	Clément Pit-Claudel	2018-05-15
\| \| \| \| \| \| \| \| * \| \| \| \| \| \| \| \|	[doc] Clarify a comment in the README	Clément Pit-Claudel	2018-05-15
\| \| \| \| \| \| \| \| * \| \| \| \| \| \| \| \|	[doc] Add an ELisp snippet to insert Sphinx roles and quotes	Clément Pit-Claudel	2018-05-15
\| \| \| \| \| \| \| \| * \| \| \| \| \| \| \| \|	[doc] Add a README to doc/sphinx/	Clément Pit-Claudel	2018-05-15
\| \| \| \| \| \| \| \| * \| \| \| \| \| \| \| \|	[doc] Document all directives and roles of our Sphinx domain	Clément Pit-Claudel	2018-05-15
\| \| \| \| \| \| \| \| * \| \| \| \| \| \| \| \|	[doc] Small fixes	Clément Pit-Claudel	2018-05-15
\| \| \| \| \| \| \| \| * \| \| \| \| \| \| \| \|	[doc] Compute the path to coqdoc at run time, not at load time	Clément Pit-Claudel	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
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \| \|_\|/ / / / / / / / / / / / / \|/\| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| \| \| \| \| \| \| \| \| * \| \| \| \|	[sphinx] Fix indentation at the end of proof handling chapter.	Théo Zimmermann	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
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \
\| \| \| \| \| \| \| \| * \| \| \| \| \| \| \|	[ssr] import ssreflect test suite from math-comp	Enrico Tassi	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
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
\| \| \| \| \| \| \| \| \| \| \| \| * \| \| \| \| \| \| \|	Update CI README with info about gitlab windows and docker jobs.	Gaëtan Gilbert	2018-05-14
\| \| \| \| \| \| \| \| \| \| \| \| * \| \| \| \| \| \| \|	Gitlab: skip docker job when $SKIP_DOCKER == "true".	Gaëtan Gilbert	2018-05-14
\| \| \| \| \| \| \| \| \| \| \| \| * \| \| \| \| \| \| \|	Gitlab: build docker image in pipeline and use through registry.	Gaëtan Gilbert	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
\| \|_\|_\|_\|_\|_\|_\|_\|/ / / / / / / / / / / / / / \|/\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| * \| \|	Use evd_combX in Cases.	Gaëtan Gilbert	2018-05-14
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| * \| \|	Typing implementation doesn't use evdref.	Gaëtan Gilbert	2018-05-14
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| * \| \|	Deprecate Typing.e_* functions	Gaëtan Gilbert	2018-05-14
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| * \| \|	Typing: define functional alternatives to e_* functions	Gaëtan Gilbert	2018-05-14
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| * \| \|	Deprecate Refiner [evar_map ref] exported functions.	Gaëtan Gilbert	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
\| \|_\|_\|_\|_\|_\|_\|/ / / / / / / / / / / / / \|/\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|