aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2018-01-08Merge PR #6517: Trim more trailing whitespace in coq-makefile timing testMaxime Dénès
2018-01-08Merge PR #6527: Update backport script for more control.Maxime Dénès
2018-01-08Merge PR #6526: Fixing various typos in the Credits chapter.Maxime Dénès
2018-01-08Merge PR #6510: Document between and exists_between types.Maxime Dénès
2018-01-08Document between and exists_between types.Ismail
2018-01-08Merge PR #6518: Fix build of micromega & nsatz with OCaml 4.06Maxime Dénès
2018-01-08Merge PR #6501: Document use of ocamldebug from the command line in Cygwin/Wi...Maxime Dénès
2017-12-31Trim more trailing whitespace in coq-makefile timing testJason Gross
2017-12-29Add instructions for debugging from the command line (and in Windows)Jim Fehrle
2017-12-29Merge PR #6493: [API] remove large file containing duplicate interfacesMaxime Dénès
2017-12-29Merge PR #975: Create checklist for pull requests.Maxime Dénès
2017-12-29Merge PR #6492: Remove query-in-IDE warning.Maxime Dénès
2017-12-29Merge PR #6405: Remove the local polymorphic flag hack.Maxime Dénès
2017-12-29Merge PR #6433: [flags] Move global time flag into an attribute.Maxime Dénès
2017-12-28[Makefile] plugins micromega and nsatz depend on unix and numVincent Laporte
2017-12-28[default.nix] depends on ocamlPackages.numVincent Laporte
2017-12-27overlay for #6493Enrico Tassi
2017-12-27[API] remove large file containing duplicate interfacesEnrico Tassi
2017-12-27Remove query-in-IDE warning.Maxime Dénès
2017-12-27Merge PR #6102: Fix #5998: AppVeyor package building is currently failingMaxime Dénès
2017-12-27Add equations overlay.Maxime Dénès
2017-12-27Remove the local polymorphic flag hack.Maxime Dénès
2017-12-27Re-enable package building and artefact storage.Maxime Dénès
2017-12-27Fix #5998: AppVeyor package building is currently failingMaxime Dénès
2017-12-27Merge PR #6507: [ide] [doc] Document tweak to Query call.Maxime Dénès
2017-12-27Merge PR #6504: Fix overlay selection for Circle CI.Maxime Dénès
2017-12-27Merge PR #6040: Making coq_makefile usage consistent with what it claims + po...Maxime Dénès
2017-12-27Merge PR #6439: [api] Also deprecate constructors of Decl_kinds.Maxime Dénès
2017-12-27Merge PR #6444: [lib] Split auxiliary libraries into Coq-specific and general.Maxime Dénès
2017-12-27Merge PR #6443: [vernac] Cleanup of do_definition.Maxime Dénès
2017-12-27Merge PR #6495: Remove syntax for classification in TACTIC EXTEND.Maxime Dénès
2017-12-27Merge PR #6494: Remove legacy Value.normalize function.Maxime Dénès
2017-12-27Merge PR #6289: Remove unused boolean from cl_context field of Typeclasses.ty...Maxime Dénès
2017-12-27Merge PR #6473: Fix warning about shadowing a global name.Maxime Dénès
2017-12-26[ide] [doc] Document tweak to Query call.Emilio Jesus Gallego Arias
2017-12-26Fix overlay selection for Circle CI.Gaëtan Gilbert
2017-12-26Delete old overlays (leaving example)Gaëtan Gilbert
2017-12-24Create pull request template.Théo Zimmermann
2017-12-24Update backport script for more control.Théo Zimmermann
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-23Registering a printing handler in coq_makefile.Hugo Herbelin
2017-12-23Forbidding -o and -f in input file of coq_makefile.Hugo Herbelin
2017-12-23Removing failure of coq_makefile on no arguments.Hugo Herbelin
2017-12-22Merge PR #6465: Gitlab touchupMaxime Dénès
2017-12-22Merge PR #6469: No universe constraints in Let definitionsMaxime Dénès
2017-12-22Merge PR #6318: Separate vernac controls and regular commands.Maxime Dénès
2017-12-22Remove syntax for classification in TACTIC EXTEND.Maxime Dénès
2017-12-22Remove legacy Value.normalize function.Maxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-20 04:49:11 +0000