aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2018-07-11Merge PR #7984: Compile `coqpp` inside the `bin/` folder and make it availabl...Emilio Jesus Gallego Arias
2018-07-11Merge PR #8031: Remove auto-retry in GitLab CI now that @coqbot is handling it.Emilio Jesus Gallego Arias
2018-07-10Compile coqpp inside the bin/ folder and make it available after installation.Pierre-Marie Pédrot
2018-07-10Merge PR #8036: [travis] Remove even more jobs.Emilio Jesus Gallego Arias
2018-07-10Merge PR #8034: [travis] Try to workaround the repeated APT failures by using...Emilio Jesus Gallego Arias
2018-07-10[travis] Remove even more jobs.Théo Zimmermann
2018-07-10[travis] Try to workaround the repeated APT failures by using Jason Gross's s...Théo Zimmermann
2018-07-10Remove auto-retry in GitLab CI now that @coqbot is handling it.Théo Zimmermann
2018-07-10Merge PR #7899: My recent improvements to the backport script.Maxime Dénès
2018-07-10Merge PR #7983: Turn a dead branch into an assertion failure in VM reification.Maxime Dénès
2018-07-10Merge PR #8028: Fix a few typosThéo Zimmermann
2018-07-10Merge PR #8025: Fix rst syntax for `quote ident {ident}`Théo Zimmermann
2018-07-10Add new options --no-conflict and --no-signature-check to backport script.Théo Zimmermann
2018-07-10Fix typo in doc/proof-engine/tactics.rst.whitequark
2018-07-10Fix typo in Init.Logic.whitequark
2018-07-09Merge PR #7920: Generic syntax for attributesMaxime Dénès
2018-07-09Fix rst syntax for `quote ident {ident}`Joachim Breitner
2018-07-09Merge PR #7884: Fix #5719: Uncaught exception Invalid_argument.Matthieu Sozeau
2018-07-08Merge PR #8015: Output UTF-8 explicitly in timing toolsJason Gross
2018-07-08Merge PR #7985: Remove letouzey from CODEOWNERS since he left the Coq organiz...Maxime Dénès
2018-07-08Merge PR #8020: Modify URLs in xml-protocol.mdThéo Zimmermann
2018-07-08Modify URLs in xml-protocol.mdRin Arakaki
2018-07-08Modify URLs in xml-protocol.mdRin Arakaki
2018-07-08Merge PR #7843: Remove Emacs modesMaxime Dénès
2018-07-08Mention the removal of Emacs modes in CHANGES.Théo Zimmermann
2018-07-08Remove Emacs modes.Théo Zimmermann
2018-07-07Output UTF-8 explicitly in timing toolsJasper Hugunin
2018-07-07Merge PR #7921: Archive the `gallina` toolMaxime Dénès
2018-07-07Merge PR #7956: Rebuild coqtop$(EXE) in "make coqbinaries" in addition to coq...Enrico Tassi
2018-07-07Merge PR #8005: Fix compilation of Coq with camlp5 master branch.Emilio Jesus Gallego Arias
2018-07-06Merge PR #8001: Cache the build of the Nix package using Cachix.Gaëtan Gilbert
2018-07-06Merge PR #7821: [refine] obey the use_unification_heuristics flagPierre-Marie Pédrot
2018-07-06Merge PR #8008: Add test for #8004.Théo Zimmermann
2018-07-06[pkg:nix] Add more comments and allow overriding extra substituters.Théo Zimmermann
2018-07-06Add test for #8004.Gaëtan Gilbert
2018-07-06Fix compilation of Coq with camlp5 master branch.Pierre-Marie Pédrot
2018-07-05Merge PR #7990: Convert timing tool to python3Jason Gross
2018-07-05refine: obey the use_unification_heuristics flagMatthieu Sozeau
2018-07-05Merge PR #7991: Make Travis faster by removing more builds.Emilio Jesus Gallego Arias
2018-07-05Merge PR #7994: Make bin/ in makefile, not configure.Emilio Jesus Gallego Arias
2018-07-05[pkg:nix] Stop using lib.inNixShell.Théo Zimmermann
2018-07-05[pkg:nix] Change the download method.Théo Zimmermann
2018-07-05[pkg:nix] Pass through the ocamlPackages version used to build.Théo Zimmermann
2018-07-05[pkg:nix] Cache the build using Cachix when signing key is set.Théo Zimmermann
2018-07-05Remove some Travis jobs to make the build faster.Théo Zimmermann
2018-07-05Turn a dead branch into an assertion failure in VM reification.Pierre-Marie Pédrot
2018-07-05Merge PR #7746: Many small cleanups removing unused arguments and functionsPierre-Marie Pédrot
2018-07-05Merge PR #7979: TACTIC EXTEND in coqppEmilio Jesus Gallego Arias
2018-07-04Merge PR #7973: Add a test build on NixOS to GitLab CI.Gaëtan Gilbert
2018-07-04Merge PR #7989: [ci] Avoid annoying detached head warning.Gaëtan Gilbert
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 12:31:41 +0000