coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
* \| \| \| \| \| \| \| \| \| \| \| \| \|	Merge PR #7403: Makefile doc owners	Théo Zimmermann	2018-05-02
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \
\| * \| \| \| \| \| \| \| \| \| \| \| \| \|	Fix Makefile.ci pattern in CODEOWNERS	Maxime Dénès	2018-05-02
\| * \| \| \| \| \| \| \| \| \| \| \| \| \|	Make doc owners also own Makefile.doc	Maxime Dénès	2018-05-02
\|/ / / / / / / / / / / / / /
* \| \| \| \| \| \| \| \| \| \| \| \| \|	Merge PR #7394: [ci] [travis] Install num by default in all switches.	Gaëtan Gilbert	2018-05-02
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \ \ \ \	Merge PR #7370: Fix PHONY typo in coq_makefile	Enrico Tassi	2018-05-02
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \| \|_\|_\|/ / / / / / / / / / / / \|/\| \| \| \| \| \| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Merge PR #7305: [toplevel] improve indentation	Emilio Jesus Gallego Arias	2018-05-01
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \
\| \| \| \| \| * \| \| \| \| \| \| \| \| \| \|	ci-vst.sh: use -o progs	Gaëtan Gilbert	2018-05-01
\| \|_\|_\|_\|/ / / / / / / / / / / \|/\| \| \| \| \| \| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Merge PR #7397: [ci] Fix #7396: VST is broken	Gaëtan Gilbert	2018-05-01
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \
\| * \| \| \| \| \| \| \| \| \| \| \| \| \| \|	[ci] Fix #7396: VST is broken	Emilio Jesus Gallego Arias	2018-05-01
\|/ / / / / / / / / / / / / / /
\| \| \| \| * / / / / / / / / / /	[api] Move bullets and goals selectors to `proofs/`	Emilio Jesus Gallego Arias	2018-05-01
\| \|_\|_\|/ / / / / / / / / / / \|/\| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| \| * \| \| \| \| \| \| \| \| \| \|	[ci] [travis] Install num by default in all switches.	Emilio Jesus Gallego Arias	2018-04-30
* \| \| \| \| \| \| \| \| \| \| \| \| \|	Merge PR #7379: [doc] Update Sphinx build instructions for Debian derivatives.	Théo Zimmermann	2018-04-30
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \| \|_\|_\|/ / / / / / / / / / / \|/\| \| \| \| \| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \| \| \| \| \|	Merge PR #6935: Separate universe minimization and evar normalization functions	Pierre-Marie Pédrot	2018-04-30
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \ \ \ \	Merge PR #6944: Strict focusing using Default Goal Selector.	Pierre-Marie Pédrot	2018-04-30
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \	Merge PR #7355: [owners] Makefile.ci belongs to the CI category.	Maxime Dénès	2018-04-30
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \	Merge PR #6958: [lib] Move global options to their proper place.	Maxime Dénès	2018-04-30
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
\| \| \| \| \| * \| \| \| \| \| \| \| \| \| \| \| \|	[doc] Update Sphinx build instructions for Debian derivatives.	Emilio Jesus Gallego Arias	2018-04-30
\| \|_\|_\|_\|/ / / / / / / / / / / / / \|/\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Merge PR #7381: [gitlab] Update base image to Ubuntu bionic + some improvements.	Gaëtan Gilbert	2018-04-30
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
\| \| \| \| * \| \| \| \| \| \| \| \| \| \| \| \| \|	Strict focusing using Default Goal Selector.	Gaëtan Gilbert	2018-04-29
\| \| \| \| * \| \| \| \| \| \| \| \| \| \| \| \| \|	tclSELECT: SelectAll never happens	Gaëtan Gilbert	2018-04-29
\| \|_\|_\|/ / / / / / / / / / / / / / \|/\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| * \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	[gitlab] Update base image to Ubuntu bionic + some improvements.	Emilio Jesus Gallego Arias	2018-04-29
\|/ / / / / / / / / / / / / / / /
\| \| \| \| \| \| \| \| * \| \| \| \| \| \| \|	Fix the secondary maintainer for Makefile.	Théo Zimmermann	2018-04-29
\| \| \| \| \| \| \| \| * \| \| \| \| \| \| \|	Change maintainers for universe files in the kernel / engine.	Théo Zimmermann	2018-04-29
\| \|_\|_\|_\|_\|_\|_\|/ / / / / / / / \|/\| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| \| \| \| \| * \| \| \| \| \| \| \| \|	Implement to_constr with nf_evars_and_universes_opt_subst	Gaëtan Gilbert	2018-04-29
* \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Merge PR #7386: [doc] Remove unused dependencies.	Théo Zimmermann	2018-04-29
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \
\| * \| \| \| \| \| \| \| \| \| \| \| \| \| \|	[doc] Remove unused dependencies.	Emilio Jesus Gallego Arias	2018-04-28
\|/ / / / / / / / / / / / / / /
\| \| \| \| \| \| * / / / / / / / /	Fix nf_evars_universes_opt_subst: recurse on univs, nf undef evars	Gaëtan Gilbert	2018-04-28
\| \|_\|_\|_\|_\|/ / / / / / / / / \|/\| \| \| \| \| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \| \| \| \| \|	Merge PR #7376: Fix gitlab ubuntu version	Emilio Jesus Gallego Arias	2018-04-28
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \
\| * \| \| \| \| \| \| \| \| \| \| \| \| \|	Fix gitlab ubuntu version	Gaëtan Gilbert	2018-04-28
* \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Merge PR #7357: [CI] elpi 1.0 has an official opam package	Emilio Jesus Gallego Arias	2018-04-28
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \	Merge PR #7367: circle CI: do not use cache from old config.yml versions	Emilio Jesus Gallego Arias	2018-04-28
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \| \|_\|/ / / / / / / / / / / / / / \|/\| \| \| \| \| \| \| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Merge PR #6892: Cleanup implementation of normalize_context_set a bit	Pierre-Marie Pédrot	2018-04-28
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
\| \| \| \| \| \| \| \| * \| \| \| \| \| \| \| \|	Fix PHONY typo in coq_makefile	Gaëtan Gilbert	2018-04-27
\| \|_\|_\|_\|_\|_\|_\|/ / / / / / / / / \|/\| \| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| \| * \| \| \| \| \| \| \| \| \| \| \| \|	[CI] elpi 1.0 has an official opam package	Enrico Tassi	2018-04-27
\| \| \|/ / / / / / / / / / / / /
\| \| * / / / / / / / / / / / /	circle CI: do not use cache from old config.yml versions	Gaëtan Gilbert	2018-04-27
\| \|/ / / / / / / / / / / / / \|/\| \| \| \| \| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \| \| \| \| \|	Merge PR #7358: Fix #7356: missing lift when interpreting default instances o...	Enrico Tassi	2018-04-27
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \ \ \ \	Merge PR #7351: Always print explanation for univ inconsistency, rm Flags.uni...	Emilio Jesus Gallego Arias	2018-04-27
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \	Merge PR #7321: configure: make -annotate fatal, and color error and warnings	Emilio Jesus Gallego Arias	2018-04-26
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \	Merge PR #7350: Updating CI to recent changes in Mtac2 (former MetaCoq)	Emilio Jesus Gallego Arias	2018-04-26
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
\| \| \| \| \| \| \| \| \| \| \| * \| \| \| \| \| \|	[ci] Fix another issue with the timing tests	Jason Gross	2018-04-26
\| \| \| \| * \| \| \| \| \| \| \| \| \| \| \| \| \|	Pretyping: Fixing a de Bruijn bug in interpreting default instances of evars.	Hugo Herbelin	2018-04-26
\| \| \| \| \| \|_\|_\|_\|_\|_\|/ / / / / / / \| \| \| \| \|/\| \| \| \| \| \| \| \| \| \| \| \|
\| \| \| \| \| \| \| * \| \| \| \| \| \| \| \| \|	[owners] Makefile.ci belongs to the CI category.	Emilio Jesus Gallego Arias	2018-04-26
\| \|_\|_\|_\|_\|_\|/ / / / / / / / / / \|/\| \| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| \| \| \| \| \| \| \| \| \| \| \| * \| \|	Add check-owners-pr.sh wrapper around check-owners	Gaëtan Gilbert	2018-04-26
\| \| \| \| \| \| \| \| \| * \| \| \| \| \| \|	[api] Move `hint_info_expr` to `Typeclasses`.	Emilio Jesus Gallego Arias	2018-04-26
* \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Merge PR #7331: Fix a typo in the reference manual: <; -> <:	Maxime Dénès	2018-04-26
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \	Merge PR #7181: Sphinx docs: clarify strict implicit arguments a bit	Maxime Dénès	2018-04-26
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \| \|_\|_\|_\|_\|/ / / / / / / / / / / / \|/\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| \| \| \| * \| \| \| \| \| \| \| \| \| \| \|	Always print explanation for univ inconsistency, rm Flags.univ_print	Gaëtan Gilbert	2018-04-26
\| \| \| * \| \| \| \| \| \| \| \| \| \| \| \| \|	updating CI for Mtac2	Beta Ziliani	2018-04-25
* \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Merge PR #7290: Update debugging.md	Hugo Herbelin	2018-04-25
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \| \|_\|_\|/ / / / / / / / / / / / / / \|/\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Merge PR #6866: Slight improvement of messages related to direct and indirect...	Pierre-Marie Pédrot	2018-04-25
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \| \|_\|_\|_\|_\|/ / / / / / / / / / / / \|/\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|