aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2018-10-02[dune] Provide workspace file will all OCaml builds tested in CI.Emilio Jesus Gallego Arias
2018-10-02Merge PR #8612: Fix issue 8610 - Change important CI DOS batch files to CRLFThéo Zimmermann
2018-10-02Merge PR #8614: [dune] [doc] Some tweaks to doc + per user flags.Théo Zimmermann
2018-10-02[dune] [doc] Some tweaks to doc + per user flags.Emilio Jesus Gallego Arias
2018-10-02Merge PR #7522: [ocaml] Update required OCaml version to 4.05.0Pierre-Marie Pédrot
2018-10-02Merge PR #7823: [tactics] function to gather undef evars of the goalPierre-Marie Pédrot
2018-10-02Merge PR #8595: Replacing Refine.pr_constr by Termops.Internal.print_constr.Pierre-Marie Pédrot
2018-10-01Merge PR #8531: [ci] Add plugin-tutorial to CI.Gaëtan Gilbert
2018-10-01Merge PR #8565: Make coqpp handle OCaml locationsEmilio Jesus Gallego Arias
2018-10-01Print location in OCaml code output by coqpp.Pierre-Marie Pédrot
2018-10-01Store locations of OCaml quotations in coqpp.Pierre-Marie Pédrot
2018-10-01Merge PR #7372: Four new lemmas for listsHugo Herbelin
2018-10-01Fix issue 8610 - Change important CI DOS batch files to CRLFMichael Soegtrop
2018-10-01[ci] Add plugin-tutorial to CI.Emilio Jesus Gallego Arias
2018-10-01Merge PR #8254: Inline the definition of CClosure.mk_clos_deep.Maxime Dénès
2018-10-01Merge PR #8577: Generalize type of compare_head_with functions, and use for e...Pierre-Marie Pédrot
2018-10-01Merge PR #8575: Remove {Safe_typing,Global}.push_contextMaxime Dénès
2018-10-01Merge PR #8579: [dune] [merlin] Fix some usability issues.Maxime Dénès
2018-10-01Merge PR #7634: Extend combined scheme to Schemes in TypeMatthieu Sozeau
2018-10-01Merge PR #8177: Make the warning for non-imported hints compatible with inter...Matthieu Sozeau
2018-10-01Merge PR #8501: [classes] Split large `new_instance` function up.Matthieu Sozeau
2018-10-01Merge PR #8608: [default.nix] Add odoc to the documentation build-inputsThéo Zimmermann
2018-10-01Merge PR #8606: [dune] [configure] Fix typo in default prefix setting.Théo Zimmermann
2018-10-01Merge PR #517: Some lemmas about dependent equalityPierre-Marie Pédrot
2018-10-01Merge PR #8301: Documentation for proof diffsThéo Zimmermann
2018-10-01Merge PR #8604: Fix issue 8603 Move Windows CI runs to folder C:/ciThéo Zimmermann
2018-10-01[default.nix] Add odoc to the documentation build-inputsVincent Laporte
2018-10-01[default.nix] Update the reference to nixpkgs; make it the defaultVincent Laporte
2018-10-01[dune] [configure] Fix typo in default prefix setting.Emilio Jesus Gallego Arias
2018-09-30Fix issue 8603 Move Windows CI runs to folder C:/ciMichael Soegtrop
2018-09-30Merge PR #8599: Typo in top_printers.mlPierre-Marie Pédrot
2018-09-30Merge PR #8590: Functionalizing calls to the environment in HimsgPierre-Marie Pédrot
2018-09-30 Merge PR #8597: [dune] Enable warning 60 [unused local module]Théo Zimmermann
2018-09-30Typo in top_printers.ml.Hugo Herbelin
2018-09-29[classes] Split large `new_instance` function up.Emilio Jesus Gallego Arias
2018-09-29[dune] Enable warning 60 [unused local module]Emilio Jesus Gallego Arias
2018-09-29Merge PR #8588: [dune] Pack checker to avoid [odoc] problems + build doc for ...Théo Zimmermann
2018-09-29New lemmas for List.vSimon Marechal
2018-09-29Replacing Refine.pr_constr by Termops.Internal.print_constr.Hugo Herbelin
2018-09-28Functionalizing calls to the environment in Himsg.Hugo Herbelin
2018-09-28[dune] Pack checker to avoid [odoc] problems + build doc for plugins.Emilio Jesus Gallego Arias
2018-09-28Merge PR #262: A cleaning step in using heuristics for inference of the retur...Pierre-Marie Pédrot
2018-09-28Cleanup comparisons in econstr (compare_head_... users)Gaëtan Gilbert
2018-09-28Generalize type of compare_head_with functionsGaëtan Gilbert
2018-09-28Merge PR #8578: [dune] Allow to build CI after a Dune build.Gaëtan Gilbert
2018-09-28Merge PR #8479: Fix #8478: Undeclared universe anomaly with sectionsPierre-Marie Pédrot
2018-09-28Merge PR #8509: Fix numerous anomalies with Scheme EqualityPierre-Marie Pédrot
2018-09-28Merge PR #8576: [api] Remove unnecessary type alias introduced in 8.9Pierre-Marie Pédrot
2018-09-28Merge PR #8569: [dune] [configure] Further tweaks for interactive use.Théo Zimmermann
2018-09-28Merge PR #8568: [dune] [coqide] Turn CoqIDE into a library.Théo Zimmermann
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-19 05:01:37 +0000