aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2018-09-25[doc] Change Sphinx project title back to "Coq"Clément Pit-Claudel
2018-09-25[doc] Fix GH-8529: wrap macro definitions in math delimiters for MathJaxClément Pit-Claudel
2018-09-25Remove romegaVincent Laporte
2018-09-25Merge PR #6343: [engine] Remove and deprecate `nf_enter` et al.Pierre-Marie Pédrot
2018-09-25Merge PR #8550: Don't use dune-template for apidocEmilio Jesus Gallego Arias
2018-09-24Don't use dune-template for apidocGaëtan Gilbert
2018-09-24Fixes #8215 ("critical" bug of type inference in interpreting evars by names).Hugo Herbelin
2018-09-24[kernel] Compile with almost all warnings enabled.Emilio Jesus Gallego Arias
2018-09-24Merge PR #8541: Update flag, option and table descriptions in coqdomain.py, u...Clément Pit-Claudel
2018-09-24Merge PR #8520: [ci] [docker] Move to OPAM 2.0Gaëtan Gilbert
2018-09-24[engine] Remove and deprecate `nf_enter` et al.Emilio Jesus Gallego Arias
2018-09-24Merge PR #8499: [api] Deprecate constructors of deprecated datatypes.Pierre-Marie Pédrot
2018-09-24Merge PR #8527: dev/doc/profiling.txt: per-component flame graphsPierre-Marie Pédrot
2018-09-24Merge PR #8464: Fix numeral notationsHugo Herbelin
2018-09-24Merge PR #8530: Fix typo in comment.Hugo Herbelin
2018-09-24Merge PR #8536: Fix #8513: EConstr.eq_constr doesn't properly take into accou...Gaëtan Gilbert
2018-09-24[ci] [docker] Move to OPAM 2.0Emilio Jesus Gallego Arias
2018-09-24Merge PR #8537: [default.nix] Bump nixpkgs to use Dune 1.2.1.Vincent Laporte
2018-09-24Merge PR #8519: Issue #8514 windows ci failuresThéo Zimmermann
2018-09-23Update flag, option and table descriptions in coqdomain.py, update README.rst...Jim Fehrle
2018-09-23Documentation for proof diffsJim Fehrle
2018-09-23[default.nix] Bump nixpkgs to use Dune 1.2.1.Théo Zimmermann
2018-09-23[api] Deprecate constructors of deprecated datatypes.Emilio Jesus Gallego Arias
2018-09-23Fix #8513: EConstr.eq_constr doesn't properly take into account universe vari...Pierre-Marie Pédrot
2018-09-23Merge PR #8465: Small cleanup of summary usesPierre-Marie Pédrot
2018-09-23Checking if low-level name printers are used on purpose or not.Hugo Herbelin
2018-09-23Merge PR #8247: Show diffs on multiple changed goals; match old and new goal ...Emilio Jesus Gallego Arias
2018-09-22Fix typo in comment.Nick Lewycky
2018-09-21dev/doc/profiling.txt: per-component flame graphsAndres Erbsen
2018-09-21Merge PR #8500: [api] Deprecate two forgotten print functions that use global...Hugo Herbelin
2018-09-21Merge PR #8526: Fix Travis CI by pinning brew OPAM package to version 1.2.2.Gaëtan Gilbert
2018-09-21Fix Travis CI by pinning brew OPAM package to version 1.2.2.Théo Zimmermann
2018-09-21Merge PR #8522: [dune] Improve support for Coq tools.Théo Zimmermann
2018-09-21Merge PR #8516: CHANGES for 8.8.2.Théo Zimmermann
2018-09-21[dune] Improve support for Coq tools.Emilio Jesus Gallego Arias
2018-09-21Merge pull request #8462 from vbgl/zify-colonequalLaurent Théry
2018-09-21Merge PR #8443: [opam] [dune] Fix typo + set prefix for configure.Théo Zimmermann
2018-09-21Merge PR #8521: Create a team of micromega maintainersThéo Zimmermann
2018-09-21Create a team of micromega maintainersMaxime Dénès
2018-09-21Use unique names in windows CI for cygwin and coq install folderMichael Soegtrop
2018-09-21Merge PR #8439: Update documentation of options and flagsThéo Zimmermann
2018-09-21Merge PR #8455: Move tests in bugs/ to bugs/closed/.Théo Zimmermann
2018-09-21Remove hash based univ level compareGaëtan Gilbert
2018-09-21Add test for univ names of polymorphic inductives in sections.Gaëtan Gilbert
2018-09-21Universe binders are Id, not Name. Never print Var.Gaëtan Gilbert
2018-09-21Best-effort hack to provide a meaningful name for anonymous bound universes.Pierre-Marie Pédrot
2018-09-21Store universe binder names as a mere list of names.Pierre-Marie Pédrot
2018-09-21Removing calls to AUContext.instance.Pierre-Marie Pédrot
2018-09-21Fix printing of abstract universe contexts.Pierre-Marie Pédrot
2018-09-21Merge commit 6a8c37c02504463afaa677641d75d9977020edf6 Windows buildfile clean...Michael Soegtrop
generated by cgit v1.2.3 (git 2.25.1) at 2026-06-22 01:29:47 +0000