aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2019-02-13Merge PR #9553: Sphinx various fixing of failing commandsThéo Zimmermann
2019-02-13Merge PR #9557: [ssreflect] Export more parsing witnesses.Enrico Tassi
2019-02-13Merge PR #9173: [tactics] Remove dependency of abstract on global proof state.Maxime Dénès
2019-02-12Merge PR #9548: Almost fully type-safe gramlib implementationEmilio Jesus Gallego Arias
2019-02-12Merge PR #9563: Improve the documentation of auto.Clément Pit-Claudel
2019-02-12Fix failing coqtops in syntax-extensions.rstGaëtan Gilbert
2019-02-12Fix failing coqtops in tactics.rstGaëtan Gilbert
2019-02-12Fix failing coqtops in ssreflect-proof-language.rstGaëtan Gilbert
2019-02-12Fix failing coqtops in ltac.rstGaëtan Gilbert
2019-02-12Fix failing coqtops in coqide.rstGaëtan Gilbert
2019-02-12Fix failing coqtops in gallina-specification-language.rstGaëtan Gilbert
2019-02-12Fix failing coqtops in gallina-extensions.rstGaëtan Gilbert
2019-02-12Fix failing coqtops in coq-library.rstGaëtan Gilbert
2019-02-12Fix failing coqtops in cic.rstGaëtan Gilbert
2019-02-12Fix failing coqtops universe-polymorphism.rstGaëtan Gilbert
2019-02-12Improve the documentation of auto.Théo Zimmermann
2019-02-12[tactics] Remove dependency of abstract on global proof state.Emilio Jesus Gallego Arias
2019-02-12Fix failing coqtops in ring.rstGaëtan Gilbert
2019-02-12Fix failing coqtops in micromega.rst (the main one requires csdp)Gaëtan Gilbert
2019-02-12Fix failing coqtops in generalized-rewriting.rstGaëtan Gilbert
2019-02-12Fix failing coqtops in extended-pattern-matching.rstGaëtan Gilbert
2019-02-12Fix undefined SPHINX_DEPS when QUICKGaëtan Gilbert
2019-02-12Fix doc for coqtop:: undoGaëtan Gilbert
2019-02-12Increase sphinx recursion limitGaëtan Gilbert
2019-02-11Merge PR #9551: Small typos in the documentation.Théo Zimmermann
2019-02-11Merge PR #9540: [ssr] keep user annotation on views (fix #9538)Cyril Cohen
2019-02-11[ssreflect] Export more parsing witnesses.Emilio Jesus Gallego Arias
2019-02-11Merge PR #9544: [coqargs] Minor refactoring of error functions.Enrico Tassi
2019-02-11Merge PR #9531: [test-suite] Improve test for async workers.Enrico Tassi
2019-02-11Small typos in the documentation.Martin Bodin
2019-02-11Almost fully type-safe implementation of camlp5.Pierre-Marie Pédrot
2019-02-11Further propagation of well-typedness in Grammar.Pierre-Marie Pédrot
2019-02-11Introduce a GADT of well-typed grammar entries in Grammar.Pierre-Marie Pédrot
2019-02-11Centralizing the calls to the global mutable grammar in Grammar.Pierre-Marie Pédrot
2019-02-11Specialize the intermediate types of the Grammar functor.Pierre-Marie Pédrot
2019-02-11Make Grammar truly functorial.Pierre-Marie Pédrot
2019-02-11Move most of Gramext into Grammar.Pierre-Marie Pédrot
2019-02-11Merge PR #9465: [Nix-CI] Add iris and lambda-rustMaxime Dénès
2019-02-11[coqargs] Minor refactoring of error functions.Emilio Jesus Gallego Arias
2019-02-11Merge PR #9541: [stm] -async-proofs-tac-j accepts only >= 1 (fix #9533)Emilio Jesus Gallego Arias
2019-02-11Merge PR #9543: [ocamldebug] Fix load order after gramlib refactoring.Gaëtan Gilbert
2019-02-11Merge PR #9522: Update link to refman for master branch.Vincent Laporte
2019-02-11[stm] -async-proofs-tac-j accepts only >= 1 (fix #9533)Enrico Tassi
2019-02-11[ssr] keep user annotation on views (fix #9538)Enrico Tassi
2019-02-11[ocamldebug] Fix load order after gramlib refactoring.Emilio Jesus Gallego Arias
2019-02-11Merge PR #9478: Remove the comment fields of locations.Emilio Jesus Gallego Arias
2019-02-11Merge PR #9534: Workaround for CI not having enough RAM for bedrock2: `-async...Emilio Jesus Gallego Arias
2019-02-10Merge PR #9535: [readme] Add link to information about release plans.Théo Zimmermann
2019-02-10Merge PR #9536: [ci] Remove unused bintray file.Maxime Dénès
2019-02-09remove `allow_failure: true` for bedrock2Samuel Gruetter
generated by cgit v1.2.3 (git 2.25.1) at 2026-06-30 11:02:09 +0000