aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2018-05-02Make "intro"/"intros" progress on existential variables.Hugo Herbelin
2018-05-02Merge PR #7339: [api] Move bullets and goals selectors to `proofs/`Théo Zimmermann
2018-05-02Merge PR #7403: Makefile doc ownersThéo Zimmermann
2018-05-02Fix Makefile.ci pattern in CODEOWNERSMaxime Dénès
2018-05-02Make doc owners also own Makefile.docMaxime Dénès
2018-05-02Merge PR #7394: [ci] [travis] Install num by default in all switches.Gaëtan Gilbert
2018-05-02Merge PR #7370: Fix PHONY typo in coq_makefileEnrico Tassi
2018-05-01Merge PR #7305: [toplevel] improve indentationEmilio Jesus Gallego Arias
2018-05-01Merge PR #7397: [ci] Fix #7396: VST is brokenGaëtan Gilbert
2018-05-01[ci] Fix #7396: VST is brokenEmilio Jesus Gallego Arias
2018-05-01[api] Move bullets and goals selectors to `proofs/`Emilio Jesus Gallego Arias
2018-04-30[ci] [travis] Install num by default in all switches.Emilio Jesus Gallego Arias
2018-04-30Merge PR #7379: [doc] Update Sphinx build instructions for Debian derivatives.Théo Zimmermann
2018-04-30Merge PR #6935: Separate universe minimization and evar normalization functionsPierre-Marie Pédrot
2018-04-30Merge PR #6944: Strict focusing using Default Goal Selector.Pierre-Marie Pédrot
2018-04-30Merge PR #7355: [owners] Makefile.ci belongs to the CI category.Maxime Dénès
2018-04-30Merge 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-30Merge PR #7381: [gitlab] Update base image to Ubuntu bionic + some improvements.Gaëtan Gilbert
2018-04-29Strict focusing using Default Goal Selector.Gaëtan Gilbert
2018-04-29tclSELECT: SelectAll never happensGaëtan Gilbert
2018-04-29[gitlab] Update base image to Ubuntu bionic + some improvements.Emilio Jesus Gallego Arias
2018-04-29Merge PR #7386: [doc] Remove unused dependencies.Théo Zimmermann
2018-04-28[doc] Remove unused dependencies.Emilio Jesus Gallego Arias
2018-04-28Merge PR #7376: Fix gitlab ubuntu versionEmilio Jesus Gallego Arias
2018-04-28Fix gitlab ubuntu versionGaëtan Gilbert
2018-04-28Merge PR #7357: [CI] elpi 1.0 has an official opam packageEmilio Jesus Gallego Arias
2018-04-28Merge PR #7367: circle CI: do not use cache from old config.yml versionsEmilio Jesus Gallego Arias
2018-04-28Merge PR #6892: Cleanup implementation of normalize_context_set a bitPierre-Marie Pédrot
2018-04-27Fix PHONY typo in coq_makefileGaëtan Gilbert
2018-04-27[CI] elpi 1.0 has an official opam packageEnrico Tassi
2018-04-27circle CI: do not use cache from old config.yml versionsGaëtan Gilbert
2018-04-27Merge PR #7358: Fix #7356: missing lift when interpreting default instances o...Enrico Tassi
2018-04-27Merge PR #7351: Always print explanation for univ inconsistency, rm Flags.uni...Emilio Jesus Gallego Arias
2018-04-26Merge PR #7321: configure: make -annotate fatal, and color error and warningsEmilio Jesus Gallego Arias
2018-04-26Merge PR #7350: Updating CI to recent changes in Mtac2 (former MetaCoq)Emilio Jesus Gallego Arias
2018-04-26Pretyping: Fixing a de Bruijn bug in interpreting default instances of evars.Hugo Herbelin
2018-04-26[owners] Makefile.ci belongs to the CI category.Emilio Jesus Gallego Arias
2018-04-26Merge PR #7331: Fix a typo in the reference manual: <; -> <:Maxime Dénès
2018-04-26Merge PR #7181: Sphinx docs: clarify strict implicit arguments a bitMaxime Dénès
2018-04-26Always print explanation for univ inconsistency, rm Flags.univ_printGaëtan Gilbert
2018-04-25updating CI for Mtac2Beta Ziliani
2018-04-25Merge PR #7290: Update debugging.mdHugo Herbelin
2018-04-25Merge PR #6866: Slight improvement of messages related to direct and indirect...Pierre-Marie Pédrot
2018-04-25Merge PR #7322: Test suite Makefile: print message for failing tests as they ...Enrico Tassi
2018-04-24Merge PR #307: Adding a flag to support different naming modes for evar hypot...Pierre-Marie Pédrot
2018-04-24Merge PR #6512: [api] Relocate `intf` modules according to dependency-order.Pierre-Marie Pédrot
2018-04-24Improving error message for clear tactic (and indirect uses of it).Hugo Herbelin
2018-04-24Adding a flag to support different naming modes for evar hypotheses.Hugo Herbelin
2018-04-23[api] Relocate `intf` modules according to dependency-order.Emilio Jesus Gallego Arias
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-27 01:56:20 +0000