aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Clean-up user-overlays folder.Gravatar Théo Zimmermann2018-07-12
* Merge PR #7998: [coqpp] Move to its own directory.Gravatar Pierre-Marie Pédrot2018-07-11
|\
* \ Merge PR #8035: Fix #8033: Tactic assert-suceeds has a typo in its name in th...Gravatar Théo Zimmermann2018-07-11
|\ \
* \ \ Merge PR #8021: Get rid of horrendous hack limiting the size of parsed integersGravatar Pierre-Marie Pédrot2018-07-11
|\ \ \
* \ \ \ Merge PR #8002: make-both-single-timing-files: fix --sort-by=diffGravatar Jason Gross2018-07-11
|\ \ \ \
* \ \ \ \ Merge PR #7898: Remove camlp4 remainsGravatar Emilio Jesus Gallego Arias2018-07-11
|\ \ \ \ \
| | | | | * [coqpp] Move to its own directory.Gravatar Emilio Jesus Gallego Arias2018-07-11
| |_|_|_|/ |/| | | |
* | | | | Merge PR #7984: Compile `coqpp` inside the `bin/` folder and make it availabl...Gravatar Emilio Jesus Gallego Arias2018-07-11
|\ \ \ \ \
* \ \ \ \ \ Merge PR #8031: Remove auto-retry in GitLab CI now that @coqbot is handling it.Gravatar Emilio Jesus Gallego Arias2018-07-11
|\ \ \ \ \ \
| | * | | | | Compile coqpp inside the bin/ folder and make it available after installation.Gravatar Pierre-Marie Pédrot2018-07-10
| |/ / / / / |/| | | | |
* | | | | | Merge PR #8036: [travis] Remove even more jobs.Gravatar Emilio Jesus Gallego Arias2018-07-10
|\ \ \ \ \ \
* \ \ \ \ \ \ Merge PR #8034: [travis] Try to workaround the repeated APT failures by using...Gravatar Emilio Jesus Gallego Arias2018-07-10
|\ \ \ \ \ \ \
| | * | | | | | [travis] Remove even more jobs.Gravatar Théo Zimmermann2018-07-10
| |/ / / / / / |/| | | | | |
| | | | | | * fixed typo for assert_suceedGravatar charguer2018-07-10
| |_|_|_|_|/ |/| | | | |
| * | | | | [travis] Try to workaround the repeated APT failures by using Jason Gross's s...Gravatar Théo Zimmermann2018-07-10
|/ / / / /
| * / / / Remove auto-retry in GitLab CI now that @coqbot is handling it.Gravatar Théo Zimmermann2018-07-10
|/ / / /
* | | | Merge PR #7899: My recent improvements to the backport script.Gravatar Maxime Dénès2018-07-10
|\ \ \ \
* \ \ \ \ Merge PR #7983: Turn a dead branch into an assertion failure in VM reification.Gravatar Maxime Dénès2018-07-10
|\ \ \ \ \
* \ \ \ \ \ Merge PR #8028: Fix a few typosGravatar Théo Zimmermann2018-07-10
|\ \ \ \ \ \
* \ \ \ \ \ \ Merge PR #8025: Fix rst syntax for `quote ident {ident}`Gravatar Théo Zimmermann2018-07-10
|\ \ \ \ \ \ \
| | | | * | | | Add new options --no-conflict and --no-signature-check to backport script.Gravatar Théo Zimmermann2018-07-10
| |_|_|/ / / / |/| | | | | |
| | * | | | | Fix typo in doc/proof-engine/tactics.rst.Gravatar whitequark2018-07-10
| | * | | | | Fix typo in Init.Logic.Gravatar whitequark2018-07-10
| |/ / / / / |/| | | | |
* | | | | | Merge PR #7920: Generic syntax for attributesGravatar Maxime Dénès2018-07-09
|\ \ \ \ \ \
| | * | | | | Fix rst syntax for `quote ident {ident}`Gravatar Joachim Breitner2018-07-09
| |/ / / / / |/| | | | |
* | | | | | Merge PR #7884: Fix #5719: Uncaught exception Invalid_argument.Gravatar Matthieu Sozeau2018-07-09
|\ \ \ \ \ \
* \ \ \ \ \ \ Merge PR #8015: Output UTF-8 explicitly in timing toolsGravatar Jason Gross2018-07-08
|\ \ \ \ \ \ \
| | | | | | | * Get rid of horrendous hack limiting the size of parsed integersGravatar Maxime Dénès2018-07-08
| |_|_|_|_|_|/ |/| | | | | |
* | | | | | | Merge PR #7985: Remove letouzey from CODEOWNERS since he left the Coq organiz...Gravatar Maxime Dénès2018-07-08
|\ \ \ \ \ \ \
* \ \ \ \ \ \ \ Merge PR #8020: Modify URLs in xml-protocol.mdGravatar Théo Zimmermann2018-07-08
|\ \ \ \ \ \ \ \
| * | | | | | | | Modify URLs in xml-protocol.mdGravatar Rin Arakaki2018-07-08
| * | | | | | | | Modify URLs in xml-protocol.mdGravatar Rin Arakaki2018-07-08
|/ / / / / / / /
* | | | | | | | Merge PR #7843: Remove Emacs modesGravatar Maxime Dénès2018-07-08
|\ \ \ \ \ \ \ \
| * | | | | | | | Mention the removal of Emacs modes in CHANGES.Gravatar Théo Zimmermann2018-07-08
| * | | | | | | | Remove Emacs modes.Gravatar Théo Zimmermann2018-07-08
|/ / / / / / / /
| | | | | | | * make diff sort by difference, not absolute differenceGravatar Ralf Jung2018-07-07
| | | | | | | * make-both-single-timing-files: fix --sort-by=diffGravatar Ralf Jung2018-07-07
| |_|_|_|_|_|/ |/| | | | | |
| | * | | | | Output UTF-8 explicitly in timing toolsGravatar Jasper Hugunin2018-07-07
* | | | | | | Merge PR #7921: Archive the `gallina` toolGravatar Maxime Dénès2018-07-07
|\ \ \ \ \ \ \
| | | | | | | * Add an overlay.Gravatar Pierre-Marie Pédrot2018-07-07
* | | | | | | | Merge PR #7956: Rebuild coqtop$(EXE) in "make coqbinaries" in addition to coq...Gravatar Enrico Tassi2018-07-07
|\ \ \ \ \ \ \ \
| | | | | | | | * Introduce a Pcoq.Entry module for functions that ought to be exported.Gravatar Pierre-Marie Pédrot2018-07-07
| | | | | | | | * Remove dead code that used to be there for CamlpX compatibility.Gravatar Pierre-Marie Pédrot2018-07-07
| |_|_|_|_|_|_|/ |/| | | | | | |
* | | | | | | | Merge PR #8005: Fix compilation of Coq with camlp5 master branch.Gravatar Emilio Jesus Gallego Arias2018-07-07
|\ \ \ \ \ \ \ \ | |_|_|_|/ / / / |/| | | | | | |
* | | | | | | | Merge PR #8001: Cache the build of the Nix package using Cachix.Gravatar Gaëtan Gilbert2018-07-06
|\ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ Merge PR #7821: [refine] obey the use_unification_heuristics flagGravatar Pierre-Marie Pédrot2018-07-06
|\ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ Merge PR #8008: Add test for #8004.Gravatar Théo Zimmermann2018-07-06
|\ \ \ \ \ \ \ \ \ \
| | | * | | | | | | | [pkg:nix] Add more comments and allow overriding extra substituters.Gravatar Théo Zimmermann2018-07-06
| * | | | | | | | | | Add test for #8004.Gravatar Gaëtan Gilbert2018-07-06
|/ / / / / / / / / /
| | | * / / / / / / Fix compilation of Coq with camlp5 master branch.Gravatar Pierre-Marie Pédrot2018-07-06
| |_|/ / / / / / / |/| | | | | | | |
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-31 11:19:57 +0000