aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Fix ci-all targetGravatar Gaëtan Gilbert2018-01-10
* Merge PR #6532: Fix mli-doc issue #6531Gravatar Maxime Dénès2018-01-08
|\
* \ Merge PR #6489: Update PNGs; mention async error handling; change query windo...Gravatar Maxime Dénès2018-01-08
|\ \
* \ \ Merge PR #6497: Add optimize_heap tactic for #6488Gravatar Maxime Dénès2018-01-08
|\ \ \
* \ \ \ Merge PR #6549: Normalize package namesGravatar Maxime Dénès2018-01-08
|\ \ \ \
* \ \ \ \ Merge PR #6533: Update the lower-bound of the lablgtk dependency.Gravatar Maxime Dénès2018-01-08
|\ \ \ \ \
* \ \ \ \ \ Merge PR #6425: Cleanup universes in the kernelGravatar Maxime Dénès2018-01-08
|\ \ \ \ \ \
* \ \ \ \ \ \ Merge PR #6516: Add TIMING_SORT_BY and --sort-by to timing scriptsGravatar Maxime Dénès2018-01-08
|\ \ \ \ \ \ \
* \ \ \ \ \ \ \ Merge PR #6530: Ignore generated test-suite/output/MExtraction.outGravatar Maxime Dénès2018-01-08
|\ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ Merge PR #6517: Trim more trailing whitespace in coq-makefile timing testGravatar Maxime Dénès2018-01-08
|\ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ Merge PR #6527: Update backport script for more control.Gravatar Maxime Dénès2018-01-08
|\ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ Merge PR #6526: Fixing various typos in the Credits chapter.Gravatar Maxime Dénès2018-01-08
|\ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \ Merge PR #6510: Document between and exists_between types.Gravatar Maxime Dénès2018-01-08
|\ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | Document between and exists_between types.Gravatar Ismail2018-01-08
* | | | | | | | | | | | | Merge PR #6518: Fix build of micromega & nsatz with OCaml 4.06Gravatar Maxime Dénès2018-01-08
|\ \ \ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \ \ \ Merge PR #6501: Document use of ocamldebug from the command line in Cygwin/Wi...Gravatar Maxime Dénès2018-01-08
|\ \ \ \ \ \ \ \ \ \ \ \ \ \
| | | | | | | | | | | * | | | Normalize MacOS installer name.Gravatar Théo Zimmermann2018-01-04
| | | | | | | | | | | * | | | Normalize Windows installer names.Gravatar Théo Zimmermann2018-01-04
| |_|_|_|_|_|_|_|_|_|/ / / / |/| | | | | | | | | | | | |
| | | | | | | | | | * | | | Update the lower-bound of the lablgtk dependency.Gravatar Théo Zimmermann2018-01-04
| |_|_|_|_|_|_|_|_|/ / / / |/| | | | | | | | | | | |
| | | | | | | | | | * | | add optimize_heap tactic for #6488Gravatar Paul Steckler2018-01-03
| | | | | | | | | | | * | update PNGs; mention async error handling; change query window to query pane;...Gravatar Paul Steckler2018-01-03
| | | | | | | | | | | | * Fix mli-doc issue #6531Gravatar Tony Beta Lambda2018-01-01
| |_|_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | |
| | | | | | | * | | | | Ignore generated test-suite/output/MExtraction.outGravatar Jason Gross2017-12-31
| |_|_|_|_|_|/ / / / / |/| | | | | | | | | |
| | | | | | * | | | | Trim more trailing whitespace in coq-makefile timing testGravatar Jason Gross2017-12-31
| |_|_|_|_|/ / / / / |/| | | | | | | | |
| | | | | | | * | | Add a comment about universe lifting in sections in the kernel.Gravatar Pierre-Marie Pédrot2017-12-31
| | | | | | | * | | Moving some universe substitution code out of the kernel.Gravatar Pierre-Marie Pédrot2017-12-30
| | | | | | | * | | Returning instance instead of substitution in universe context abstraction.Gravatar Pierre-Marie Pédrot2017-12-30
| | | | | | | * | | Hardening universe abstraction in Cooking.Gravatar Pierre-Marie Pédrot2017-12-30
| | | | | | | * | | Using a dedicated type for Lib.abstr_info.Gravatar Pierre-Marie Pédrot2017-12-30
| |_|_|_|_|_|/ / / |/| | | | | | | |
| * | | | | | | | Add instructions for debugging from the command line (and in Windows)Gravatar Jim Fehrle2017-12-29
| | |_|_|_|_|/ / | |/| | | | | |
* | | | | | | | Merge PR #6493: [API] remove large file containing duplicate interfacesGravatar Maxime Dénès2017-12-29
|\ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ Merge PR #975: Create checklist for pull requests.Gravatar Maxime Dénès2017-12-29
|\ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ Merge PR #6492: Remove query-in-IDE warning.Gravatar Maxime Dénès2017-12-29
|\ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ Merge PR #6405: Remove the local polymorphic flag hack.Gravatar Maxime Dénès2017-12-29
|\ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \ Merge PR #6433: [flags] Move global time flag into an attribute.Gravatar Maxime Dénès2017-12-29
|\ \ \ \ \ \ \ \ \ \ \ \ | |_|_|_|_|_|_|/ / / / / |/| | | | | | | | | | |
| | | | | | | * | | | | [Makefile] plugins micromega and nsatz depend on unix and numGravatar Vincent Laporte2017-12-28
| | | | | | | * | | | | [default.nix] depends on ocamlPackages.numGravatar Vincent Laporte2017-12-28
| |_|_|_|_|_|/ / / / / |/| | | | | | | | | |
| | | | | | | | | * | Add TIMING_SORT_BY and --sort-by to timing scriptsGravatar Jason Gross2017-12-27
| |_|_|_|_|_|_|_|/ / |/| | | | | | | | |
| | | | | * | | | | overlay for #6493Gravatar Enrico Tassi2017-12-27
| | | | | * | | | | [API] remove large file containing duplicate interfacesGravatar Enrico Tassi2017-12-27
| |_|_|_|/ / / / / |/| | | | | | | |
| | | * | | | | | Remove query-in-IDE warning.Gravatar Maxime Dénès2017-12-27
| |_|/ / / / / / |/| | | | | | |
* | | | | | | | Merge PR #6102: Fix #5998: AppVeyor package building is currently failingGravatar Maxime Dénès2017-12-27
|\ \ \ \ \ \ \ \
| | | * | | | | | Add equations overlay.Gravatar Maxime Dénès2017-12-27
| | | * | | | | | Remove the local polymorphic flag hack.Gravatar Maxime Dénès2017-12-27
| |_|/ / / / / / |/| | | | | | |
| * | | | | | | Re-enable package building and artefact storage.Gravatar Maxime Dénès2017-12-27
| * | | | | | | Fix #5998: AppVeyor package building is currently failingGravatar Maxime Dénès2017-12-27
* | | | | | | | Merge PR #6507: [ide] [doc] Document tweak to Query call.Gravatar Maxime Dénès2017-12-27
|\ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ Merge PR #6504: Fix overlay selection for Circle CI.Gravatar Maxime Dénès2017-12-27
|\ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ Merge PR #6040: Making coq_makefile usage consistent with what it claims + po...Gravatar Maxime Dénès2017-12-27
|\ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ Merge PR #6439: [api] Also deprecate constructors of Decl_kinds.Gravatar Maxime Dénès2017-12-27
|\ \ \ \ \ \ \ \ \ \ \
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-10 00:38:54 +0000