Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Export a function to apply toplevel tactic values in Tacinterp. | 2018-07-10 | |
* | Merge PR #8036: [travis] Remove even more jobs. | 2018-07-10 | |
|\ | |||
* \ | Merge PR #8034: [travis] Try to workaround the repeated APT failures by using... | 2018-07-10 | |
|\ \ | |||
| | * | [travis] Remove even more jobs. | 2018-07-10 | |
| |/ |/| | |||
| * | [travis] Try to workaround the repeated APT failures by using Jason Gross's s... | 2018-07-10 | |
|/ | |||
* | Merge PR #7899: My recent improvements to the backport script. | 2018-07-10 | |
|\ | |||
* \ | Merge PR #7983: Turn a dead branch into an assertion failure in VM reification. | 2018-07-10 | |
|\ \ | |||
* \ \ | Merge PR #8028: Fix a few typos | 2018-07-10 | |
|\ \ \ | |||
* \ \ \ | Merge PR #8025: Fix rst syntax for `quote ident {ident}` | 2018-07-10 | |
|\ \ \ \ | |||
| | | | * | Add new options --no-conflict and --no-signature-check to backport script. | 2018-07-10 | |
| |_|_|/ |/| | | | |||
| | * | | Fix typo in doc/proof-engine/tactics.rst. | 2018-07-10 | |
| | * | | Fix typo in Init.Logic. | 2018-07-10 | |
| |/ / |/| | | |||
* | | | Merge PR #7920: Generic syntax for attributes | 2018-07-09 | |
|\ \ \ | |||
| | * | | Fix rst syntax for `quote ident {ident}` | 2018-07-09 | |
| |/ / |/| | | |||
* | | | Merge PR #7884: Fix #5719: Uncaught exception Invalid_argument. | 2018-07-09 | |
|\ \ \ | |||
* \ \ \ | Merge PR #8015: Output UTF-8 explicitly in timing tools | 2018-07-08 | |
|\ \ \ \ | |||
* \ \ \ \ | Merge PR #7985: Remove letouzey from CODEOWNERS since he left the Coq organiz... | 2018-07-08 | |
|\ \ \ \ \ | |||
* \ \ \ \ \ | Merge PR #8020: Modify URLs in xml-protocol.md | 2018-07-08 | |
|\ \ \ \ \ \ | |||
| * | | | | | | Modify URLs in xml-protocol.md | 2018-07-08 | |
| * | | | | | | Modify URLs in xml-protocol.md | 2018-07-08 | |
|/ / / / / / | |||
* | | | | | | Merge PR #7843: Remove Emacs modes | 2018-07-08 | |
|\ \ \ \ \ \ | |||
| * | | | | | | Mention the removal of Emacs modes in CHANGES. | 2018-07-08 | |
| * | | | | | | Remove Emacs modes. | 2018-07-08 | |
|/ / / / / / | |||
| | * | | | | Output UTF-8 explicitly in timing tools | 2018-07-07 | |
* | | | | | | Merge PR #7921: Archive the `gallina` tool | 2018-07-07 | |
|\ \ \ \ \ \ | |||
* \ \ \ \ \ \ | Merge PR #7956: Rebuild coqtop$(EXE) in "make coqbinaries" in addition to coq... | 2018-07-07 | |
|\ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ | Merge PR #8005: Fix compilation of Coq with camlp5 master branch. | 2018-07-07 | |
|\ \ \ \ \ \ \ \ | |_|_|_|/ / / / |/| | | | | | | | |||
* | | | | | | | | Merge PR #8001: Cache the build of the Nix package using Cachix. | 2018-07-06 | |
|\ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ | Merge PR #7821: [refine] obey the use_unification_heuristics flag | 2018-07-06 | |
|\ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ | Merge PR #8008: Add test for #8004. | 2018-07-06 | |
|\ \ \ \ \ \ \ \ \ \ | |||
| | | * | | | | | | | | [pkg:nix] Add more comments and allow overriding extra substituters. | 2018-07-06 | |
| * | | | | | | | | | | Add test for #8004. | 2018-07-06 | |
|/ / / / / / / / / / | |||
| | | * / / / / / / | Fix compilation of Coq with camlp5 master branch. | 2018-07-06 | |
| |_|/ / / / / / / |/| | | | | | | | | |||
* | | | | | | | | | Merge PR #7990: Convert timing tool to python3 | 2018-07-05 | |
|\ \ \ \ \ \ \ \ \ | |||
| | * | | | | | | | | refine: obey the use_unification_heuristics flag | 2018-07-05 | |
| |/ / / / / / / / |/| | | | | | | | | |||
* | | | | | | | | | Merge PR #7991: Make Travis faster by removing more builds. | 2018-07-05 | |
|\ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ | Merge PR #7994: Make bin/ in makefile, not configure. | 2018-07-05 | |
|\ \ \ \ \ \ \ \ \ \ | |||
| | | | * | | | | | | | [pkg:nix] Stop using lib.inNixShell. | 2018-07-05 | |
| | | | * | | | | | | | [pkg:nix] Change the download method. | 2018-07-05 | |
| | | | * | | | | | | | [pkg:nix] Pass through the ocamlPackages version used to build. | 2018-07-05 | |
| | | | * | | | | | | | [pkg:nix] Cache the build using Cachix when signing key is set. | 2018-07-05 | |
| |_|_|/ / / / / / / |/| | | | | | | | | | |||
| | * | | | | | | | | Remove some Travis jobs to make the build faster. | 2018-07-05 | |
| |/ / / / / / / / |/| | | | | | | | | |||
| | | | | | | | * | Turn a dead branch into an assertion failure in VM reification. | 2018-07-05 | |
| |_|_|_|_|_|_|/ |/| | | | | | | | |||
* | | | | | | | | Merge PR #7746: Many small cleanups removing unused arguments and functions | 2018-07-05 | |
|\ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ | Merge PR #7979: TACTIC EXTEND in coqpp | 2018-07-05 | |
|\ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ | Merge PR #7973: Add a test build on NixOS to GitLab CI. | 2018-07-04 | |
|\ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ | Merge PR #7989: [ci] Avoid annoying detached head warning. | 2018-07-04 | |
|\ \ \ \ \ \ \ \ \ \ \ | |||
| | | | | | * | | | | | | Convert timing tools to run with both python2 and python3 | 2018-07-04 | |
* | | | | | | | | | | | | Merge PR #7993: doc: Fix markup in Calculus of Inductive Constructions | 2018-07-04 | |
|\ \ \ \ \ \ \ \ \ \ \ \ | |||
| | | | | | | | | | * | | | Remove letouzey from CODEOWNERS since he left the Coq organization. | 2018-07-04 | |
| | | | | | | | |_|/ / / | | | | | | | |/| | | | |