| Commit message (Expand) | Author | Age | ||
|---|---|---|---|---|
| ... | ||||
| * | | | | | | | | | | | Merge PR #6493: [API] remove large file containing duplicate interfaces |  Maxime Dénès | 2017-12-29 | |
| |\ \ \ \ \ \ \ \ \ \ \ | ||||
| * \ \ \ \ \ \ \ \ \ \ \ | Merge PR #975: Create checklist for pull requests. | Maxime Dénès | 2017-12-29 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ | ||||
| * \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6492: Remove query-in-IDE warning. | Maxime Dénès | 2017-12-29 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
| * \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6405: Remove the local polymorphic flag hack. | Maxime Dénès | 2017-12-29 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6433: [flags] Move global time flag into an attribute. | Maxime Dénès | 2017-12-29 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |_|_|_|_|_|_|/ / / / / / / / |/| | | | | | | | | | | | | | | ||||
| | | | | | | | * | | | | | | | | [Makefile] plugins micromega and nsatz depend on unix and num |  Vincent Laporte | 2017-12-28 | |
| | | | | | | | * | | | | | | | | [default.nix] depends on ocamlPackages.num | Vincent Laporte | 2017-12-28 | |
| | |_|_|_|_|_|/ / / / / / / / |/| | | | | | | | | | | | | | ||||
| | | | | | | | | | * | | | | | Add TIMING_SORT_BY and --sort-by to timing scripts |  Jason Gross | 2017-12-27 | |
| | |_|_|_|_|_|_|_|/ / / / / |/| | | | | | | | | | | | | ||||
| | | | | | * | | | | | | | | overlay for #6493 |  Enrico Tassi | 2017-12-27 | |
| | | | | | * | | | | | | | | [API] remove large file containing duplicate interfaces | Enrico Tassi | 2017-12-27 | |
| | |_|_|_|/ / / / / / / / |/| | | | | | | | | | | | ||||
| | | | * | | | | | | | | | Remove query-in-IDE warning. | Maxime Dénès | 2017-12-27 | |
| | |_|/ / / / / / / / / |/| | | | | | | | | | | ||||
| * | | | | | | | | | | | Merge PR #6102: Fix #5998: AppVeyor package building is currently failing | Maxime Dénès | 2017-12-27 | |
| |\ \ \ \ \ \ \ \ \ \ \ | ||||
| | | | * | | | | | | | | | Add equations overlay. | Maxime Dénès | 2017-12-27 | |
| | | | * | | | | | | | | | Remove the local polymorphic flag hack. | Maxime Dénès | 2017-12-27 | |
| | |_|/ / / / / / / / / |/| | | | | | | | | | | ||||
| | * | | | | | | | | | | Re-enable package building and artefact storage. | Maxime Dénès | 2017-12-27 | |
| | * | | | | | | | | | | Fix #5998: AppVeyor package building is currently failing | Maxime Dénès | 2017-12-27 | |
| * | | | | | | | | | | | Merge PR #6507: [ide] [doc] Document tweak to Query call. | Maxime Dénès | 2017-12-27 | |
| |\ \ \ \ \ \ \ \ \ \ \ | ||||
| * \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6504: Fix overlay selection for Circle CI. | Maxime Dénès | 2017-12-27 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ | ||||
| * \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6040: Making coq_makefile usage consistent with what it claims + po... | Maxime Dénès | 2017-12-27 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
| * \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6439: [api] Also deprecate constructors of Decl_kinds. | Maxime Dénès | 2017-12-27 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6444: [lib] Split auxiliary libraries into Coq-specific and general. | Maxime Dénès | 2017-12-27 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6443: [vernac] Cleanup of do_definition. | Maxime Dénès | 2017-12-27 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6495: Remove syntax for classification in TACTIC EXTEND. | Maxime Dénès | 2017-12-27 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6494: Remove legacy Value.normalize function. | Maxime Dénès | 2017-12-27 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6289: Remove unused boolean from cl_context field of Typeclasses.ty... | Maxime Dénès | 2017-12-27 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6473: Fix warning about shadowing a global name. | Maxime Dénès | 2017-12-27 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |_|_|_|_|_|_|_|_|_|_|_|_|/ / / / / / / |/| | | | | | | | | | | | | | | | | | | | ||||
| | | | | | | | | | | * | | | | | | | | | | [ide] [doc] Document tweak to Query call. |  Emilio Jesus Gallego Arias | 2017-12-26 | |
| | |_|_|_|_|_|_|_|_|/ / / / / / / / / / |/| | | | | | | | | | | | | | | | | | | ||||
| | | | | | | | | | * | | | | | | | | | | Fix overlay selection for Circle CI. |  Gaëtan Gilbert | 2017-12-26 | |
| | | | | | | | | | * | | | | | | | | | | Delete old overlays (leaving example) | Gaëtan Gilbert | 2017-12-26 | |
| | |_|_|_|_|_|_|_|/ / / / / / / / / / |/| | | | | | | | | | | | | | | | | | ||||
| | | | | | | | | | | | | | | | * | | | Check the whole string given by md5sum.ml |  Jacques-Pascal Deplaix | 2017-12-24 | |
| | | | | | | | | | | | * | | | | | | | Create pull request template. |  Théo Zimmermann | 2017-12-24 | |
| | |_|_|_|_|_|_|_|_|_|/ / / / / / / |/| | | | | | | | | | | | | | | | | ||||
| | | | | | | | | | | | | * | | | | | Update backport script for more control. | Théo Zimmermann | 2017-12-24 | |
| | |_|_|_|_|_|_|_|_|_|_|/ / / / / |/| | | | | | | | | | | | | | | | ||||
| | | | | | | | | | | | | | * | | | Replace md5sum/md5 calls by an OCaml program | Jacques-Pascal Deplaix | 2017-12-23 | |
| | |_|_|_|_|_|_|_|_|_|_|_|/ / / |/| | | | | | | | | | | | | | | ||||
| | | | | | | | * | | | | | | | | [api] Also deprecate constructors of Decl_kinds. | Emilio Jesus Gallego Arias | 2017-12-23 | |
| | |_|_|_|_|_|/ / / / / / / / |/| | | | | | | | | | | | | | ||||
| | | | | | | | | | * | | | | | [flags] Move global time flag into an attribute. | Emilio Jesus Gallego Arias | 2017-12-23 | |
| | |_|_|_|_|_|_|_|/ / / / / |/| | | | | | | | | | | | | ||||
| | | | | | | * | | | | | | | [lib] Split auxiliary libraries into Coq-specific and general. | Emilio Jesus Gallego Arias | 2017-12-23 | |
| | |_|_|_|_|/ / / / / / / |/| | | | | | | | | | | | ||||
| | | | | | | * | | | | | | Registering a printing handler in coq_makefile. |  Hugo Herbelin | 2017-12-23 | |
| | | | | | | * | | | | | | Forbidding -o and -f in input file of coq_makefile. | Hugo Herbelin | 2017-12-23 | |
| | | | | | | * | | | | | | Removing failure of coq_makefile on no arguments. | Hugo Herbelin | 2017-12-23 | |
| | | | | | | | | | | | * | Add printers to dev/db | Gaëtan Gilbert | 2017-12-22 | |
| | | | | | | | | | | | * | Reorder dev/db | Gaëtan Gilbert | 2017-12-22 | |
| | | | | | | | | | | | * | Cleanup top_printers.mli | Gaëtan Gilbert | 2017-12-22 | |
| | | | | | | | | | | | * | Cleanup debug printers a bit, add generated mli. | Gaëtan Gilbert | 2017-12-22 | |
| * | | | | | | | | | | | | Merge PR #6465: Gitlab touchup | Maxime Dénès | 2017-12-22 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ | ||||
| * \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6469: No universe constraints in Let definitions | Maxime Dénès | 2017-12-22 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
| * \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6318: Separate vernac controls and regular commands. | Maxime Dénès | 2017-12-22 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
| | | | | | | | * | | | | | | | | Remove syntax for classification in TACTIC EXTEND. | Maxime Dénès | 2017-12-22 | |
| | |_|_|_|_|_|/ / / / / / / / |/| | | | | | | | | | | | | | ||||
| | | | | | | * | | | | | | | | Remove legacy Value.normalize function. | Maxime Dénès | 2017-12-22 | |
| | |_|_|_|_|/ / / / / / / / |/| | | | | | | | | | | | | ||||
| * | | | | | | | | | | | | | Merge PR #6484: Update README and CONTRIBUTING to mention the wiki and FAQ. | Maxime Dénès | 2017-12-22 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
| * \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6485: Fix badges. | Maxime Dénès | 2017-12-22 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |