Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Merge PR #6501: Document use of ocamldebug from the command line in Cygwin/Wi... | 2018-01-08 | |
|\ | |||
| * | Add instructions for debugging from the command line (and in Windows) | 2017-12-29 | |
* | | Merge PR #6493: [API] remove large file containing duplicate interfaces | 2017-12-29 | |
|\ \ | |||
* \ \ | Merge PR #975: Create checklist for pull requests. | 2017-12-29 | |
|\ \ \ | |||
* \ \ \ | Merge PR #6492: Remove query-in-IDE warning. | 2017-12-29 | |
|\ \ \ \ | |||
* \ \ \ \ | Merge PR #6405: Remove the local polymorphic flag hack. | 2017-12-29 | |
|\ \ \ \ \ | |||
* \ \ \ \ \ | Merge PR #6433: [flags] Move global time flag into an attribute. | 2017-12-29 | |
|\ \ \ \ \ \ | |||
| | | | | * | | overlay for #6493 | 2017-12-27 | |
| | | | | * | | [API] remove large file containing duplicate interfaces | 2017-12-27 | |
| |_|_|_|/ / |/| | | | | | |||
| | | * | | | Remove query-in-IDE warning. | 2017-12-27 | |
| |_|/ / / |/| | | | | |||
* | | | | | Merge PR #6102: Fix #5998: AppVeyor package building is currently failing | 2017-12-27 | |
|\ \ \ \ \ | |||
| | | * | | | Add equations overlay. | 2017-12-27 | |
| | | * | | | Remove the local polymorphic flag hack. | 2017-12-27 | |
| |_|/ / / |/| | | | | |||
| * | | | | Re-enable package building and artefact storage. | 2017-12-27 | |
| * | | | | Fix #5998: AppVeyor package building is currently failing | 2017-12-27 | |
* | | | | | Merge PR #6507: [ide] [doc] Document tweak to Query call. | 2017-12-27 | |
|\ \ \ \ \ | |||
* \ \ \ \ \ | Merge PR #6504: Fix overlay selection for Circle CI. | 2017-12-27 | |
|\ \ \ \ \ \ | |||
* \ \ \ \ \ \ | Merge PR #6040: Making coq_makefile usage consistent with what it claims + po... | 2017-12-27 | |
|\ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ | 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 | |
| |_|_|_|_|_|_|_|/ / / / |/| | | | | | | | | | | | |||
| | | | | | | | | | | * | Create pull request template. | 2017-12-24 | |
| |_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | |||
| | | | | | | * | | | | [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 | |
| |_|_|/ / / / / / / / |/| | | | | | | | | | |