Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | | | | | | | | | | | | | Merge PR #6439: [api] Also deprecate constructors of Decl_kinds. | 2017-12-27 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6444: [lib] Split auxiliary libraries into Coq-specific and general. | 2017-12-27 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6443: [vernac] Cleanup of do_definition. | 2017-12-27 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6495: Remove syntax for classification in TACTIC EXTEND. | 2017-12-27 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6494: Remove legacy Value.normalize function. | 2017-12-27 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6289: Remove unused boolean from cl_context field of Typeclasses.ty... | 2017-12-27 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6473: Fix warning about shadowing a global name. | 2017-12-27 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |_|_|_|_|_|_|_|_|_|_|_|_|/ / / / / / |/| | | | | | | | | | | | | | | | | | | ||||
| | | | | | | | | | * | | | | | | | | | [ide] [doc] Document tweak to Query call. | 2017-12-26 | ||
| |_|_|_|_|_|_|_|_|/ / / / / / / / / |/| | | | | | | | | | | | | | | | | | ||||
| | | | | | | | | * | | | | | | | | | Fix overlay selection for Circle CI. | 2017-12-26 | ||
| | | | | | | | | * | | | | | | | | | Delete old overlays (leaving example) | 2017-12-26 | ||
| |_|_|_|_|_|_|_|/ / / / / / / / / |/| | | | | | | | | | | | | | | | | ||||
| | | | | | | | | | | | | | | * | | Check the whole string given by md5sum.ml | 2017-12-24 | ||
| | | | | | | | | | | * | | | | | | Create pull request template. | 2017-12-24 | ||
| |_|_|_|_|_|_|_|_|_|/ / / / / / |/| | | | | | | | | | | | | | | | ||||
| | | | | | | | | | | | * | | | | Update backport script for more control. | 2017-12-24 | ||
| |_|_|_|_|_|_|_|_|_|_|/ / / / |/| | | | | | | | | | | | | | | ||||
| | | | | | | | | | | | | * | | Replace md5sum/md5 calls by an OCaml program | 2017-12-23 | ||
| |_|_|_|_|_|_|_|_|_|_|_|/ / |/| | | | | | | | | | | | | | ||||
| | | | | | | * | | | | | | | [api] Also deprecate constructors of Decl_kinds. | 2017-12-23 | ||
| |_|_|_|_|_|/ / / / / / / |/| | | | | | | | | | | | | ||||
| | | | | | | | | * | | | | [flags] Move global time flag into an attribute. | 2017-12-23 | ||
| |_|_|_|_|_|_|_|/ / / / |/| | | | | | | | | | | | ||||
| | | | | | * | | | | | | [lib] Split auxiliary libraries into Coq-specific and general. | 2017-12-23 | ||
| |_|_|_|_|/ / / / / / |/| | | | | | | | | | | ||||
| | | | | | * | | | | | Registering a printing handler in coq_makefile. | 2017-12-23 | ||
| | | | | | * | | | | | Forbidding -o and -f in input file of coq_makefile. | 2017-12-23 | ||
| | | | | | * | | | | | Removing failure of coq_makefile on no arguments. | 2017-12-23 | ||
* | | | | | | | | | | | Merge PR #6465: Gitlab touchup | 2017-12-22 | ||
|\ \ \ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6469: No universe constraints in Let definitions | 2017-12-22 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6318: Separate vernac controls and regular commands. | 2017-12-22 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
| | | | | | | * | | | | | | | Remove syntax for classification in TACTIC EXTEND. | 2017-12-22 | ||
| |_|_|_|_|_|/ / / / / / / |/| | | | | | | | | | | | | ||||
| | | | | | * | | | | | | | Remove legacy Value.normalize function. | 2017-12-22 | ||
| |_|_|_|_|/ / / / / / / |/| | | | | | | | | | | | ||||
* | | | | | | | | | | | | Merge PR #6484: Update README and CONTRIBUTING to mention the wiki and FAQ. | 2017-12-22 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6485: Fix badges. | 2017-12-22 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6445: [stm] [ide protocol] Allow to include several commands on query. | 2017-12-22 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6222: Share computation of unifiable evars | 2017-12-22 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |_|_|_|_|_|_|_|_|_|_|_|_|/ / |/| | | | | | | | | | | | | | | ||||
| | | | | | | | | | * | | | | | Merge code paths in interp_definition and cleanup a bit. | 2017-12-21 | ||
| | | * | | | | | | | | | | | | Fix badges. | 2017-12-21 | ||
| |_|/ / / / / / / / / / / / |/| | | | | | | | | | | | | | ||||
| | | * | | | | | | | | | | | Update README and CONTRIBUTING to mention the wiki and FAQ. | 2017-12-21 | ||
| |_|/ / / / / / / / / / / |/| | | | | | | | | | | | | ||||
* | | | | | | | | | | | | | Merge PR #6474: Fix CI with parallel make (messed up dependencies) | 2017-12-21 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
| * | | | | | | | | | | | | | Fix CI with parallel make (messed up dependencies) | 2017-12-21 | ||
| | | | * | | | | | | | | | | Separate vernac controls and regular commands. | 2017-12-20 | ||
| |_|_|/ / / / / / / / / / |/| | | | | | | | | | | | | ||||
* | | | | | | | | | | | | | Merge PR #6377: Removal of the FAQ LaTex document. | 2017-12-20 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6470: Fix typo in the refman. | 2017-12-20 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6449: Let definitions must not contain side-effects when reaching t... | 2017-12-20 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6468: Fix order of let-in representation comment. | 2017-12-20 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6471: Fix ltacprof_abstract (I think because of #6411 parallel merge). | 2017-12-20 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6234: Make the micromega extraction check a regular output test. | 2017-12-20 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |_|_|_|_|_|/ / / / / / / / / / / / |/| | | | | | | | | | | | | | | | | | ||||
| | | | | | | | | | | * | | | | | | | Fix warning about shadowing a global name. | 2017-12-19 | ||
| |_|_|_|_|_|_|_|_|_|/ / / / / / / |/| | | | | | | | | | | | | | | | | ||||
| | * | | | | | | | | | | | | | | | Fix ltacprof_abstract (I think because of #6411 parallel merge). | 2017-12-19 | ||
| |/ / / / / / / / / / / / / / / |/| | | | | | | | | | | | | | | | ||||
| | | | * | | | | | | | | | | | | Fix typo in the refman. | 2017-12-19 | ||
| |_|_|/ / / / / / / / / / / / |/| | | | | | | | | | | | | | | ||||
| | | | | | | * | | | | | | | | Let definitions do not create new universe constraints. | 2017-12-19 | ||
* | | | | | | | | | | | | | | | Merge PR #6400: Circle CI | 2017-12-19 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
| | | | | | | | * | | | | | | | | Specific type for section definition entries. | 2017-12-19 | ||
| | | | | |_|_|/ / / / / / / / | | | | |/| | | | | | | | | | | ||||
| | | * / | | | | | | | | | | | Fix order of let-in representation comment. | 2017-12-19 | ||
| |_|/ / / / / / / / / / / / |/| | | | | | | | | | | | | | ||||
| | | | | | | * | | | | | | | Gitlab: don't ./configure in documentation job | 2017-12-18 | ||
| |_|_|_|_|_|/ / / / / / / |/| | | | | | | | | | | | | ||||
* | | | | | | | | | | | | | Merge PR #6436: Fix #5368: Canonical structure unification fails. | 2017-12-18 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ \ |