aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2018-09-11Merge PR #8452: Fix #8358: circular make dependency for camldevfilesEnrico Tassi
2018-09-11Merge PR #8448: Have `gitFull` in the nix-shellVincent Laporte
2018-09-11Merge PR #8105: Remove environment passing to cache_coercion functionHugo Herbelin
2018-09-10Remove environment passing to coercion printersGaëtan Gilbert
2018-09-10Merge PR #8230: fix formulation of the Euclid Theorem in commentHugo Herbelin
2018-09-10Fix #8358: circular make dependency for camldevfilesGaëtan Gilbert
2018-09-10Have `gitFull` in the nix-shellCyril Cohen
2018-09-10Merge PR #8417: Fixing #8416: Print Assumptions missing module information fr...Matthieu Sozeau
2018-09-10Merge PR #8290: Fix #8288: cumulativity inferance ignores args to bound varia...Matthieu Sozeau
2018-09-10Merge PR #7743: Bound proof-search in default program obligation tactic.Pierre-Marie Pédrot
2018-09-10Merge PR #8323: Owners of Makefile.{ci,doc} are teams {ci,doc}-maintainers.Maxime Dénès
2018-09-10Merge PR #8430: Move to a team of code owners for the Nix files.Maxime Dénès
2018-09-10Merge PR #8104: Warnings on coercions used without being ImportedEnrico Tassi
2018-09-07Merge PR #8437: Recover lost snippetThéo Zimmermann
2018-09-07Merge PR #8435: [dune] Fix build of coq_dune in 4.02.3Théo Zimmermann
2018-09-07Recover lost snippetMatěj G
2018-09-07Merge PR #8428: Add utop to default.nix for use in nix-shell (see #8426).Vincent Laporte
2018-09-07[dune] Fix build of coq_dune in 4.02.3Emilio Jesus Gallego Arias
2018-09-07Warnings on coercions used without being ImportedMaxime Dénès
2018-09-07Merge PR #8423: coqpp: allow DEPRECATED when declaring tacticsPierre-Marie Pédrot
2018-09-07Move to a team of code owners for the Nix files.Théo Zimmermann
2018-09-07Add utop to default.nix for use in nix-shell (see #8426).Théo Zimmermann
2018-09-07Merge PR #8426: [dune] [doc] Document `dune utop $lib`Théo Zimmermann
2018-09-07Merge PR #8411: Changes to default.nix to be able to use Dune.Vincent Laporte
2018-09-06Merge PR #8412: [dune] [ci] Fix and test release profile + use 1.1 dune-works...Gaëtan Gilbert
2018-09-06[dune] [doc] Document `dune utop $lib`Emilio Jesus Gallego Arias
2018-09-06[dune] [ci] Fix and test release profile + use 1.1 dune-workspaceEmilio Jesus Gallego Arias
2018-09-06Deprecation warning in legacy tacextend.mlpVincent Laporte
2018-09-06deprecation is CODE instead of IDENTVincent Laporte
2018-09-06Bound proof-search in default program obligation tactic.Matthieu Sozeau
2018-09-06coqpp: allow DEPRECATED when declaring tacticsVincent Laporte
2018-09-06Merge PR #8110: Fixing capital letters in the "in" syntax of instantiate.Pierre-Marie Pédrot
2018-09-06Merge PR #8394: Print the entire string to the CoqIDE screen, e.g. for "Print...Pierre-Marie Pédrot
2018-09-06Merge PR #8415: [bin] Fix binary location procedure to work with symlinks.Pierre-Marie Pédrot
2018-09-06Merge PR #8420: [pfedit] Fix master build due to merge conflictGaëtan Gilbert
2018-09-06[pfedit] Fix master build due to merge conflictEmilio Jesus Gallego Arias
2018-09-06Merge PR #8302: Fix #7795: UGraph.AlreadyDeclared with ProgramMatthieu Sozeau
2018-09-06Override Dune derivation to update it before nixpkgs.Théo Zimmermann
2018-09-06Changes to default.nix to be able to use Dune.Théo Zimmermann
2018-09-06Merge PR #8295: Fix #8291: print universe names in universe context for Check.Matthieu Sozeau
2018-09-05Fixing #8416 (Print Assumptions missing module information from compiled files).Hugo Herbelin
2018-09-05[bin] Fix binary location procedure to work with symlinks.Emilio Jesus Gallego Arias
2018-09-05Merge PR #6857: [build] Preliminary support for building with `dune`.Théo Zimmermann
2018-09-05Merge PR #7968: Restrict universes in comInductiveGaëtan Gilbert
2018-09-05[build] Preliminary support for building Coq with `dune`.Emilio Jesus Gallego Arias
2018-09-05Owners of Makefile.{ci,doc} are teams {ci,doc}-maintainers.Théo Zimmermann
2018-09-04[misc] Remove leftover files.Emilio Jesus Gallego Arias
2018-09-04Merge PR #7684: [doc] Build ML API documentation artifact.Gaëtan Gilbert
2018-09-04Merge PR #8263: Do not abstract over the named variable in unsafe introductio...Hugo Herbelin
2018-09-04Merge PR #8264: More efficient computation of avoided variables during pretyp...Hugo Herbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-25 17:58:14 +0000