aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2018-06-23Adapt the kernel to generate proper data for mutual records.Pierre-Marie Pédrot
2018-06-23Using more general information for primitive records.Pierre-Marie Pédrot
2018-06-23Change the proj_ind field from MutInd.t to inductive.Pierre-Marie Pédrot
2018-06-23Merge PR #7715: Simplify the cooking of primitive projections.Maxime Dénès
2018-06-22Merge PR #7600: Faster and cleaner fconstr-to-constr conversion function.Maxime Dénès
2018-06-22Merge PR #7893: Update dpdgraph branch nameThéo Zimmermann
2018-06-22Merge PR #7776: [ssr] Fix rewrite with universesMaxime Dénès
2018-06-22[ssr] test case for rewrite and set on univ poly keysEnrico Tassi
2018-06-22[ssr] matching: use eq_constr_nounivs in approximated matchingEnrico Tassi
2018-06-22[ssr] set: merge universe constraints before type checking the termEnrico Tassi
2018-06-21Merge PR #7774: [build] Fix checks and notes noting 4.02.1 instead of 4.02.3Maxime Dénès
2018-06-21Merge PR #7873: Make Clément the secondary codeowner of doc/tools/coqrst.Maxime Dénès
2018-06-21Update dpdgraph branch nameGaëtan Gilbert
2018-06-21Merge PR #7770: Move indices on top on the TOC. Closes #7764.Maxime Dénès
2018-06-21Merge PR #7815: On cygwin, pass the filename in a format that coqdoc understa...Maxime Dénès
2018-06-21Merge PR #7865: Fix #7432: Grammar token @term points to the SSR chapter.Maxime Dénès
2018-06-21Merge PR #7842: Fix #7836: tools/inferior-coq.el uses next-line instead of fo...Pierre Courtieu
2018-06-21Merge PR #7880: Clean up DynPierre-Marie Pédrot
2018-06-21Add documentation for Dyn.whitequark
2018-06-21Rename Dyn.TParam→ValueS, Dyn.MapS.obj→value to clarify their purpose.whitequark
2018-06-21Reformat Dyn.{ml,mli}.whitequark
2018-06-20On cygwin, pass the filename in a format that coqdoc understands.Jim Fehrle
2018-06-20Merge PR #7868: [coqtop] Give priority to stdlib load path over current direc...Emilio Jesus Gallego Arias
2018-06-20Make Clément the secondary codeowner of doc/tools/coqrst.Théo Zimmermann
2018-06-19[coqtop] Give priority to stdlib load path over current directoryMaxime Dénès
2018-06-19Merge PR #7797: Remove reference name type.Enrico Tassi
2018-06-19Merge PR #6754: Better elaboration of pattern-matchings on primitive projectionsPierre-Marie Pédrot
2018-06-19Merge PR #7491: Fix #7421: constr_eq ignores universe constraints.Pierre-Marie Pédrot
2018-06-19Merge PR #7801: [vernac] Add option to force building really mutual induction...Enrico Tassi
2018-06-19Merge PR #7841: Remove CanaryPierre-Marie Pédrot
2018-06-19[doc] Rewrite and document the prodn directiveClément Pit-Claudel
2018-06-19[doc] Fix a typo in the ssreflect chapterClément Pit-Claudel
2018-06-19[doc] Fix uncaught duplicate-label errors in the SSReflect chapterClément Pit-Claudel
2018-06-19[doc] Use productionlist instead of prodn in ring.rstClément Pit-Claudel
2018-06-19Merge PR #7714: Remove primitive-projection related data from the kernelMaxime Dénès
2018-06-19Merge PR #7856: Fix #7829: Spurious documentation failures.Maxime Dénès
2018-06-18Overlay for reference removalMaxime Dénès
2018-06-18Merge PR #7855: Update section on adding your project to CI and link to examp...Emilio Jesus Gallego Arias
2018-06-18Fix #7421: constr_eq ignores universe constraints.Gaëtan Gilbert
2018-06-18Remove Canary.whitequark
2018-06-18Fix #7829: Spurious documentation failures.Théo Zimmermann
2018-06-18Merge PR #7840: Remove Hashcons.HobjPierre-Marie Pédrot
2018-06-18Update section on adding your project to CI and link to example PR.Théo Zimmermann
2018-06-18Remove reference name type.Maxime Dénès
2018-06-17Remove Hashcons.Hobj.whitequark
2018-06-17Merge PR #7824: Fixes #7811 (uncaught Not_found in notation printer related t...Pierre-Marie Pédrot
2018-06-17Merge PR #7848: Fix a typo in documentationThéo Zimmermann
2018-06-17Merge PR #7822: cArray: proper invalid_arg exceptionsPierre-Marie Pédrot
2018-06-17Merge PR #7844: Remove Elpi from Travis.Emilio Jesus Gallego Arias
2018-06-17Merge PR #7828: [Spawn] no control sock on unixEmilio Jesus Gallego Arias
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 17:30:04 +0000