aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2018-08-24Fix ordering of before/after in print-pretty-timed-*Jason Gross
2018-08-24Split up fiat-crypto CI into two targetsJason Gross
2018-08-23Merge PR #8296: Fix #8251: remove "the the" occurrencesThéo Zimmermann
2018-08-23Merge PR #8300: Fix issue #8298 OCaml 4.07 download path is incorrectThéo Zimmermann
2018-08-22Fix issue #8298 OCaml 4.07 download path is incorrectMichael Soegtrop
2018-08-22Fix #8251: remove "the the" occurrencesGaëtan Gilbert
2018-08-22Fix typo of caracterisation -> c*h*aracterisationSiddharth Bhat
2018-08-22Add missing spaces.Théo Zimmermann
2018-08-22[sphinx] Improve Case analysis and induction section.Théo Zimmermann
2018-08-22[refman] Fixing two nested lemma errors.Théo Zimmermann
2018-08-22[sphinx] Fixing of the beginning of the Tactics chapter.Théo Zimmermann
2018-08-21Merge PR #8249: Remove unneeded file stm/workerLoop.mliEnrico Tassi
2018-08-21[coq_makefile] print all options (Fix #7529)Enrico Tassi
2018-08-21Trivial Sphinx fix in doc.Théo Zimmermann
2018-08-20Merge PR #8258: Update documentation on GitLab CI to reflect recent changes.Emilio Jesus Gallego Arias
2018-08-20Merge PR #8136: Do not run 32-bit Windows builds on pull requests.Emilio Jesus Gallego Arias
2018-08-20Merge PR #8262: Remove dead argument allow_old.Emilio Jesus Gallego Arias
2018-08-20Do not inline let-bound functions in clambda optimization.Pierre-Marie Pédrot
2018-08-18Merge PR #8272: Fix typo in documentation, heigth --> height.Théo Zimmermann
2018-08-17Fix typo in documentation, heigth --> height.Nick Lewycky
2018-08-17Define bullet production token.Théo Zimmermann
2018-08-17Minor Sphinx improvements in the bullet documentation.Théo Zimmermann
2018-08-17More efficient computation of avoided variables during pretyping.Pierre-Marie Pédrot
2018-08-17Do not abstract over the named variable in unsafe introduction tactic.Pierre-Marie Pédrot
2018-08-17Remove dead argument allow_old.Théo Zimmermann
2018-08-161) Make the diff setting a persistent settting.Jim Fehrle
2018-08-16Merge PR #8250: Introduce a team of code owners for the documentation.Maxime Dénès
2018-08-16Merge PR #8198: Fix broken link.Maxime Dénès
2018-08-16Merge PR #8111: Docs: Fix p values in CIC Inductive Defs examplesMaxime Dénès
2018-08-16Merge PR #8109: [doc] Fix grammar of goal selectors.Maxime Dénès
2018-08-16Merge PR #8108: A few Sphinx fixes in the Ltac chapter.Maxime Dénès
2018-08-16Merge PR #8079: Document the automatic use of the rebase label.Maxime Dénès
2018-08-15tacmach: function to gather undef evars of the goalMatthieu Sozeau
2018-08-14Merge PR #8221: Add regression test for issue #4202Théo Zimmermann
2018-08-14Introduce a team of code owners for the documentation.Théo Zimmermann
2018-08-14Remove unneeded file: workerLoop.ml/.mli were moved to toplevel in commit 382...Jim Fehrle
2018-08-13Less crazy implementation of the "pose" family of tactics.Pierre-Marie Pédrot
2018-08-13Do not run 32-bit Windows builds on pull requests.Théo Zimmermann
2018-08-10one more fix to formulation of the Euclid Theorem in commentSamuel Gruetter
2018-08-09fix formulation of the Euclid Theorem in commentSamuel Gruetter
2018-08-06Add regression test for issue #4202Tej Chajed
2018-08-06Merge PR #8189: Some trivial fixes to the custom entry documentation.Emilio Jesus Gallego Arias
2018-08-06Merge PR #8073: Use GitHub as the location for OCaml sources.Michael Soegtrop
2018-08-04Merge PR #8142: Improved the grammar and spelling of chapter 'Syntax extensio...Théo Zimmermann
2018-08-04Improved the grammar and spelling of chapter 'Syntax extensions and interpret...Zeimer
2018-08-04Merge PR #8216: Fix docs on arguments to setoid_replaceThéo Zimmermann
2018-08-03Fix docs on arguments to setoid_replace. Fixes #8213Langston Barrett
2018-08-02Merge PR #8143: Improved grammar and spelling in chapters 'Proof Schemes' and...Théo Zimmermann
2018-08-02Merge PR #8145: Improved grammar and spelling in chapter 'Extended pattern ma...Théo Zimmermann
2018-08-02Merge PR #8144: Improved grammar and spelling for chapters 'Utilities' and 'C...Théo Zimmermann
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-24 09:28:31 +0000