aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2018-09-26Making cases.ml use state-passing instead of the evdref idiom.Pierre-Marie Pédrot
2018-09-26Merge PR #8419: Remove romega in favor of liaThéo Zimmermann
2018-09-26Merge PR #8217: Fixes #8215: "critical" type inference bug in interpreting ev...Pierre-Marie Pédrot
2018-09-25Merge PR #8535: Fixing #8532: regression in Print Assumptions within a functor.Pierre-Marie Pédrot
2018-09-25Merge PR #8552: [ci] [docker] elpi version 1.1.0Emilio Jesus Gallego Arias
2018-09-25Merge PR #8549: Fix issues introduced by the PDF manual mergeThéo Zimmermann
2018-09-25overlay to test elpi 1.1Enrico Tassi
2018-09-25elpi 1.1.0Enrico Tassi
2018-09-25Merge PR #8235: NArith: deprecate N2Bv_genHugo Herbelin
2018-09-25Fixing #8532 (regression in Print Assumptions within a functor).Hugo Herbelin
2018-09-25Fix Sphinx manual targets.Théo Zimmermann
2018-09-25Fix title of Introduction chapter in HTML version.Théo Zimmermann
2018-09-25[doc] Rename credits-wrapper to credits and credits to credits-contentsClément Pit-Claudel
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-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-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-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
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-23 05:55:41 +0000