aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2018-10-28Merge PR #8827: Revert "[ci] Pin CI_REF to plugin_tutorial to use not yet mer...Emilio Jesus Gallego Arias
2018-10-27Merge PR #8741: [typeclasses] functionalize typeclass evar handlingPierre-Marie Pédrot
2018-10-26[typeclasses] functionalize typeclass evar handlingMatthieu Sozeau
2018-10-26Fix overlay for this extension of the PR. To be removed.Matthieu Sozeau
2018-10-26PR 8671: Add overlay for plugin-tutorialMatthieu Sozeau
2018-10-26Cleanup evar_extra: remove evar_info's store and add maps to evar_mapMatthieu Sozeau
2018-10-26Merge PR #8684: Remove a few circumvolutions around parameters of inductive e...Gaëtan Gilbert
2018-10-26Merge PR #8687: Mini reorganization type of global constr of globalPierre-Marie Pédrot
2018-10-26Merge PR #8814: Comment Environ.set_universesMaxime Dénès
2018-10-26Revert "[ci] Pin CI_REF to plugin_tutorial to use not yet merged commit."Gaëtan Gilbert
2018-10-26Merge PR #8803: Fix issue #8800 (gtk warning about gtk_scrolled_window_add_wi...Pierre-Marie Pédrot
2018-10-26Merge PR #8804: Fix issue #8801 (uncaught Not_found after F1 sequence in coqide)Pierre-Marie Pédrot
2018-10-26Overlay for kernel entries changeMaxime Dénès
2018-10-26Remove a few circumvolutions around parameters of inductive entriesMaxime Dénès
2018-10-26Merge PR #8744: [dune] Compile debug and checker printers.Gaëtan Gilbert
2018-10-26Merge PR #8753: [build] Refactoring of config lib and ocamldebug tweaks.Gaëtan Gilbert
2018-10-26Merge PR #8821: [default.nix] Update to dune 1.4.Vincent Laporte
2018-10-26Merge PR #8777: Move side-effects into Safe_typingMaxime Dénès
2018-10-26Merge PR #8707: Separate cache representation between CClosure and CBVMaxime Dénès
2018-10-26Merge PR #7186: Moving `fold_constr_with_full_binders` to a placeMaxime Dénès
2018-10-26[default.nix] Clean-up: use camlp5 instead of synonymous camlp5_strict.Théo Zimmermann
2018-10-25[default.nix] Update to dune 1.4.Théo Zimmermann
2018-10-25Merge PR #8762: [dune] [opam] Move to OPAM 2.0Gaëtan Gilbert
2018-10-24Merge PR #8813: Fix a few rendering issues in the manualThéo Zimmermann
2018-10-24Comment Environ.set_universesGaëtan Gilbert
2018-10-24Merge PR #8776: Replace non-idiomatic "dead-alleys" with idiomatic "dead-ends"Théo Zimmermann
2018-10-24[Manual] Prevent an irrelevant warning to show upVincent Laporte
2018-10-24[Manual] Avoid using deprecated “Focus”Vincent Laporte
2018-10-24[Manual] Fix rendering of an exampleVincent Laporte
2018-10-24[Manual] TypoVincent Laporte
2018-10-24[Manual] Fix an exampleVincent Laporte
2018-10-24[Manual] Fix layout of a listVincent Laporte
2018-10-23Merge PR #8806: Fixing #8794: anomaly with abbreviation binding both a term a...Emilio Jesus Gallego Arias
2018-10-23Merge PR #8365: Strings: add ByteVectorHugo Herbelin
2018-10-23[dune] [opam] Move to OPAM 2.0Emilio Jesus Gallego Arias
2018-10-23Merge PR #8798: Order Greek letters consistently w/rest of documentThéo Zimmermann
2018-10-23Merge PR #8799: Fix formatting. Use standard if..then grammar.Théo Zimmermann
2018-10-23Fixing #8794 (anomaly with abbreviation involving both term and binders).Hugo Herbelin
2018-10-23Merge PR #8802: [dune] Install man pages + remove two obsolete ones.Théo Zimmermann
2018-10-23Fix issue #8801.Guillaume Melquiond
2018-10-23Fix issue #8800.Guillaume Melquiond
2018-10-23Merge PR #8786: Adding a regression test for bug #8785: universe constraints ...Pierre-Marie Pédrot
2018-10-23Merge PR #8797: [doc] [api] Update `odoc` to new release 1.3.0Gaëtan Gilbert
2018-10-23[dune] Install man pages + remove two obsolete ones.Emilio Jesus Gallego Arias
2018-10-23Fix formatting. Use standard if..then grammar.Sam Pablo Kuper
2018-10-23Order Greek letters consistently w/rest of documentSam Pablo Kuper
2018-10-23[dune] Compile debug and checker printers.Emilio Jesus Gallego Arias
2018-10-23[build] Refactoring to config lib and ocamldebug tweaks.Emilio Jesus Gallego Arias
2018-10-22[doc] [api] Update `odoc` to new release 1.3.0Emilio Jesus Gallego Arias
2018-10-22Merge PR #8708: Stupid but critical unfolding heuristic.Maxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-18 15:56:33 +0000