aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2018-10-02Handling VERNAC EXTEND in coqpp.Pierre-Marie Pédrot
2018-10-02Pass unnamed arguments to ML macros.Pierre-Marie Pédrot
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-02Fix deprecation warnings.Pierre-Marie Pédrot
2018-10-01Docs: Missing backquoteJoachim Breitner
2018-10-02[dune] Install more files from `tools`.Emilio Jesus Gallego Arias
2018-10-02[tools] Remove unused / obsolete files.Emilio Jesus Gallego Arias
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-01fix deprecation warningsYves Bertot
2018-10-01Merge PR #8501: [classes] Split large `new_instance` function up.Matthieu Sozeau
2018-10-01adapts to master on Oct. 1st 2018, but warnings remainYves Bertot
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-01Fix checker soundness bug with polymorphism capturing global univsGaëtan Gilbert
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[config] Remove unused ML variables.Emilio Jesus Gallego Arias
2018-10-01[envars] Small implementation cleanup for coqlib internals.Emilio Jesus Gallego Arias
2018-10-01[lib] [flags] Move coqlib handling out of `Flags`Emilio Jesus Gallego Arias
2018-10-01[lib] [flags] Move private IDE functions to `ide`Emilio Jesus Gallego Arias
2018-10-01[nit] Qualify `Envars` use.Emilio Jesus Gallego Arias
2018-10-01[envars] Defer CAMLP5 location to configure.Emilio Jesus Gallego Arias
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-30[api] Cleanup `Decls`: remove unused function, move vernac helper.Emilio Jesus Gallego Arias
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-13 12:19:16 +0000