aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2018-07-07make-both-single-timing-files: fix --sort-by=diffRalf Jung
2018-07-07Output UTF-8 explicitly in timing toolsJasper Hugunin
2018-07-07Merge PR #7921: Archive the `gallina` toolMaxime Dénès
2018-07-07Add an overlay.Pierre-Marie Pédrot
2018-07-07Merge PR #7956: Rebuild coqtop$(EXE) in "make coqbinaries" in addition to coq...Enrico Tassi
2018-07-07Introduce a Pcoq.Entry module for functions that ought to be exported.Pierre-Marie Pédrot
2018-07-07Remove dead code that used to be there for CamlpX compatibility.Pierre-Marie Pédrot
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
2018-07-04Convert timing tools to run with both python2 and python3Jasper Hugunin
2018-07-04Merge PR #7993: doc: Fix markup in Calculus of Inductive ConstructionsThéo Zimmermann
2018-07-04Remove letouzey from CODEOWNERS since he left the Coq organization.Gaëtan Gilbert
2018-07-04doc: Fix markup in Calculus of Inductive ConstructionsFabian
2018-07-04Merge PR #7992: Print something after the build completed if it wasn't a runn...Gaëtan Gilbert
2018-07-04Adapting to move of register_constr_interp0 from Pretyping to GlobEnv.Hugo Herbelin
2018-07-04Print something after the build completed if it wasn't a runner failure.Théo Zimmermann
2018-07-04[ci] Avoid annoying detached head warning.Emilio Jesus Gallego Arias
2018-07-04Make bin/ in makefile, not configure.Gaëtan Gilbert
2018-07-03Add a shell.nix that is not pinned to satisfy some developers' preference.Théo Zimmermann
2018-07-03Refactor default.nix to use optionals.Théo Zimmermann
2018-07-03Fix timing tools on NixOS.Théo Zimmermann
2018-07-03[test suite] Test case for attributesVincent Laporte
2018-07-03Document attributes.Vincent Laporte
2018-07-03fix syntax of .mlgVincent Laporte
2018-07-03Describe attributes in the documentation.Vincent Laporte
2018-07-03[vernac] use a record for the contents of the “deprecated” attributeVincent Laporte
2018-07-03[vernac] use plain strings as attribute namesVincent Laporte
2018-07-03[vernac] indentationVincent Laporte
2018-07-03[vernac] Generic syntax for flags/attributesVincent Laporte
2018-07-03[vernac] Generic parsing rules for attributesVincent Laporte
2018-07-03[vernac] Add a “deprecated” attributeVincent Laporte
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-16 22:29:30 +0000