aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2018-08-17Define bullet production token.Théo Zimmermann
2018-08-17Minor Sphinx improvements in the bullet documentation.Théo Zimmermann
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-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-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
2018-08-02Merge PR #8176: Improved grammar and spelling in chapters 'Type Classes', 'Om...Théo Zimmermann
2018-08-02Merge PR #8185: Improved grammar and spelling in the remaining chapters of th...Théo Zimmermann
2018-08-01Fix broken link.Daniel R. Grayson
2018-08-01Added a tactic index entry for nsatz, reformatted commands in chapter 'Genera...Zeimer
2018-08-01Improved grammar and spelling in the remaining chapters of the Reference Manual.Zeimer
2018-08-01Improved grammar and spelling in chapter 'Extended pattern matching' of the R...Zeimer
2018-08-01Improved grammar and spelling in chapters 'Proof Schemes' and 'The Coq comman...Zeimer
2018-08-01Improved grammar and spelling in chapters 'Type Classes', 'Omega' and 'Microm...Zeimer
2018-08-01Merge PR #8169: NArith: add sized N2BvHugo Herbelin
2018-08-01Improved grammar and spelling for chapters 'Utilities' and 'CoqIDE' of the Re...Zeimer
2018-08-01Merge PR #8151: Vector: expose ++ to userHugo Herbelin
2018-08-01Merge PR #8182: Handle diffs better for the "Undo" command.Enrico Tassi
2018-08-01Merge PR #8192: Fix typos and typesetting of doc on ProgramThéo Zimmermann
2018-08-01Merge PR #8184: Improved grammar and spelling in chapters 'Extraction', 'Prog...Théo Zimmermann
2018-08-01Merge PR #8191: [sphinx] Use arguments of '.. example::' directive as a titleThéo Zimmermann
2018-08-01Merge PR #8195: Fix doc for no associativityThéo Zimmermann
2018-07-31Camlp{4 => 5}Jason Gross
2018-07-31Code to handle "Back" command for diffs.Jim Fehrle
2018-07-31Fix doc for no associativityJason Gross
2018-07-30Fix typos and typesetting of doc on ProgramLysxia
2018-07-30[sphinx] Use arguments of '.. example::' directive as a titleClément Pit-Claudel
2018-07-30Merge PR #8113: Make universe object DisposePierre-Marie Pédrot
2018-07-30CHANGES: unify formatYishuai Li
2018-07-30CHANGES: note potential incompatibilities with ++Yishuai Li
2018-07-30Vector: expose ++ to userYishuai Li
2018-07-30Merge PR #8137: Fix 8132. Print the content of body, not its type.Hugo Herbelin
2018-07-30Some trivial fixes to the custom entry documentation.Théo Zimmermann
2018-07-30Merge PR #8115: Support for custom entries in notations (take 2, feature part)Emilio Jesus Gallego Arias
2018-07-29Fix issue 8132. Print the content of body as in Printer.pr_compacted_decl,Jim Fehrle
2018-07-29Improved grammar and spelling in chapters 'Extraction', 'Program' and 'ring a...Zeimer
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-22 18:36:04 +0000