| Commit message (Expand) | Author | Age | ||
|---|---|---|---|---|
| ... | ||||
| | | | | * | | | Fix #7415. Printing Width was not applied to error messages. |  Pierre Courtieu | 2018-05-03 | |
| * | | | | | | | Merge PR #7304: Make `intro`/`intros` progress on existential variables. |  Pierre-Marie Pédrot | 2018-05-03 | |
| |\ \ \ \ \ \ \ | |_|_|_|/ / / |/| | | | | | | ||||
| | | | | | | * | Fixes issue #7083 / Windows build: Unify build logging to console (for appvey... |  Michael Soegtrop | 2018-05-03 | |
| | | | | | | * | Fixes issue #7081 / Windows build: strip in lablgtk build can fail randomly | Michael Soegtrop | 2018-05-03 | |
| | |_|_|_|_|/ |/| | | | | | ||||
| * | | | | | | Merge PR #7400: ci-vst.sh: use -o progs |  Emilio Jesus Gallego Arias | 2018-05-03 | |
| |\ \ \ \ \ \ | ||||
| * \ \ \ \ \ \ | Merge PR #7402: [ci]: add pidetop (fix #7336) | Emilio Jesus Gallego Arias | 2018-05-03 | |
| |\ \ \ \ \ \ \ | ||||
| | | | | | * | | | Making explicit that errors happen in one of five executation phases. |  Hugo Herbelin | 2018-05-02 | |
| | | | | | * | | | Reporting when an error occurs at initialization time. | Hugo Herbelin | 2018-05-02 | |
| | |_|_|_|/ / / |/| | | | | | | ||||
| | | | * | | | | Make "intro"/"intros" progress on existential variables. | Hugo Herbelin | 2018-05-02 | |
| | |_|/ / / / |/| | | | | | ||||
| | * | | | | | [ci]: add pidetop (fix #7336) |  Enrico Tassi | 2018-05-02 | |
| * | | | | | | Merge PR #7339: [api] Move bullets and goals selectors to `proofs/` |  Théo Zimmermann | 2018-05-02 | |
| |\ \ \ \ \ \ | ||||
| * \ \ \ \ \ \ | Merge PR #7403: Makefile doc owners | Théo Zimmermann | 2018-05-02 | |
| |\ \ \ \ \ \ \ | ||||
| | * | | | | | | | Fix Makefile.ci pattern in CODEOWNERS |  Maxime Dénès | 2018-05-02 | |
| | * | | | | | | | Make doc owners also own Makefile.doc | Maxime Dénès | 2018-05-02 | |
| |/ / / / / / / | ||||
| * | | | | | | | Merge PR #7394: [ci] [travis] Install num by default in all switches. |  Gaëtan Gilbert | 2018-05-02 | |
| |\ \ \ \ \ \ \ | ||||
| * \ \ \ \ \ \ \ | Merge PR #7370: Fix PHONY typo in coq_makefile | Enrico Tassi | 2018-05-02 | |
| |\ \ \ \ \ \ \ \ | |_|_|/ / / / / |/| | | | | | | | ||||
| * | | | | | | | | Merge PR #7305: [toplevel] improve indentation | Emilio Jesus Gallego Arias | 2018-05-01 | |
| |\ \ \ \ \ \ \ \ | ||||
| | | | | | * | | | | ci-vst.sh: use -o progs | Gaëtan Gilbert | 2018-05-01 | |
| | |_|_|_|/ / / / |/| | | | | | | | ||||
| * | | | | | | | | Merge PR #7397: [ci] Fix #7396: VST is broken | Gaëtan Gilbert | 2018-05-01 | |
| |\ \ \ \ \ \ \ \ | ||||
| | * | | | | | | | | [ci] Fix #7396: VST is broken | Emilio Jesus Gallego Arias | 2018-05-01 | |
| |/ / / / / / / / | ||||
| | | | | * / / / | [api] Move bullets and goals selectors to `proofs/` | Emilio Jesus Gallego Arias | 2018-05-01 | |
| | |_|_|/ / / / |/| | | | | | | ||||
| | | | * | | | | [ci] [travis] Install num by default in all switches. | Emilio Jesus Gallego Arias | 2018-04-30 | |
| * | | | | | | | Merge PR #7379: [doc] Update Sphinx build instructions for Debian derivatives. | Théo Zimmermann | 2018-04-30 | |
| |\ \ \ \ \ \ \ | |_|_|/ / / / |/| | | | | | | ||||
| * | | | | | | | Merge PR #6935: Separate universe minimization and evar normalization functions | Pierre-Marie Pédrot | 2018-04-30 | |
| |\ \ \ \ \ \ \ | ||||
| * \ \ \ \ \ \ \ | Merge PR #6944: Strict focusing using Default Goal Selector. | Pierre-Marie Pédrot | 2018-04-30 | |
| |\ \ \ \ \ \ \ \ | ||||
| * \ \ \ \ \ \ \ \ | Merge PR #7355: [owners] Makefile.ci belongs to the CI category. | Maxime Dénès | 2018-04-30 | |
| |\ \ \ \ \ \ \ \ \ | ||||
| * \ \ \ \ \ \ \ \ \ | Merge PR #6958: [lib] Move global options to their proper place. | Maxime Dénès | 2018-04-30 | |
| |\ \ \ \ \ \ \ \ \ \ | ||||
| | | | | | * | | | | | | [doc] Update Sphinx build instructions for Debian derivatives. | Emilio Jesus Gallego Arias | 2018-04-30 | |
| | |_|_|_|/ / / / / / |/| | | | | | | | | | ||||
| * | | | | | | | | | | Merge PR #7381: [gitlab] Update base image to Ubuntu bionic + some improvements. | Gaëtan Gilbert | 2018-04-30 | |
| |\ \ \ \ \ \ \ \ \ \ | ||||
| | | | | * | | | | | | | Strict focusing using Default Goal Selector. | Gaëtan Gilbert | 2018-04-29 | |
| | | | | * | | | | | | | tclSELECT: SelectAll never happens | Gaëtan Gilbert | 2018-04-29 | |
| | |_|_|/ / / / / / / |/| | | | | | | | | | ||||
| | * | | | | | | | | | [gitlab] Update base image to Ubuntu bionic + some improvements. | Emilio Jesus Gallego Arias | 2018-04-29 | |
| |/ / / / / / / / / | ||||
| | | | | | | | | * | Fix the secondary maintainer for Makefile. | Théo Zimmermann | 2018-04-29 | |
| | | | | | | | | * | Change maintainers for universe files in the kernel / engine. | Théo Zimmermann | 2018-04-29 | |
| | |_|_|_|_|_|_|/ |/| | | | | | | | ||||
| | | | | | | * | | Implement to_constr with nf_evars_and_universes_opt_subst | Gaëtan Gilbert | 2018-04-29 | |
| * | | | | | | | | Merge PR #7386: [doc] Remove unused dependencies. | Théo Zimmermann | 2018-04-29 | |
| |\ \ \ \ \ \ \ \ | ||||
| | * | | | | | | | | [doc] Remove unused dependencies. | Emilio Jesus Gallego Arias | 2018-04-28 | |
| |/ / / / / / / / | ||||
| | | | | | | * / | Fix nf_evars_universes_opt_subst: recurse on univs, nf undef evars | Gaëtan Gilbert | 2018-04-28 | |
| | |_|_|_|_|/ / |/| | | | | | | ||||
| * | | | | | | | Merge PR #7376: Fix gitlab ubuntu version | Emilio Jesus Gallego Arias | 2018-04-28 | |
| |\ \ \ \ \ \ \ | ||||
| | * | | | | | | | Fix gitlab ubuntu version | Gaëtan Gilbert | 2018-04-28 | |
| * | | | | | | | | Merge PR #7357: [CI] elpi 1.0 has an official opam package | Emilio Jesus Gallego Arias | 2018-04-28 | |
| |\ \ \ \ \ \ \ \ | ||||
| * \ \ \ \ \ \ \ \ | Merge PR #7367: circle CI: do not use cache from old config.yml versions | Emilio Jesus Gallego Arias | 2018-04-28 | |
| |\ \ \ \ \ \ \ \ \ | |_|/ / / / / / / |/| | | | | | | | | ||||
| * | | | | | | | | | Merge PR #6892: Cleanup implementation of normalize_context_set a bit | Pierre-Marie Pédrot | 2018-04-28 | |
| |\ \ \ \ \ \ \ \ \ | ||||
| | | | | | | | | * | | Fix PHONY typo in coq_makefile | Gaëtan Gilbert | 2018-04-27 | |
| | |_|_|_|_|_|_|/ / |/| | | | | | | | | ||||
| | | | * | | | | | | [CI] elpi 1.0 has an official opam package | Enrico Tassi | 2018-04-27 | |
| | | |/ / / / / / | ||||
| | | * / / / / / | circle CI: do not use cache from old config.yml versions | Gaëtan Gilbert | 2018-04-27 | |
| | |/ / / / / / |/| | | | | | | ||||
| * | | | | | | | Merge PR #7358: Fix #7356: missing lift when interpreting default instances o... | Enrico Tassi | 2018-04-27 | |
| |\ \ \ \ \ \ \ | ||||
| * \ \ \ \ \ \ \ | Merge PR #7351: Always print explanation for univ inconsistency, rm Flags.uni... | Emilio Jesus Gallego Arias | 2018-04-27 | |
| |\ \ \ \ \ \ \ \ | ||||
| * \ \ \ \ \ \ \ \ | Merge PR #7321: configure: make -annotate fatal, and color error and warnings | Emilio Jesus Gallego Arias | 2018-04-26 | |
| |\ \ \ \ \ \ \ \ \ | ||||
| * \ \ \ \ \ \ \ \ \ | Merge PR #7350: Updating CI to recent changes in Mtac2 (former MetaCoq) | Emilio Jesus Gallego Arias | 2018-04-26 | |
| |\ \ \ \ \ \ \ \ \ \ | ||||
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |