aboutsummaryrefslogtreecommitdiff
path: root/doc/sphinx/proof-engine
AgeCommit message (Expand)Author
2018-05-05[sphinx] Use references for command Info.Théo Zimmermann
2018-05-05[sphinx] More reference fixes.Théo Zimmermann
2018-05-05[sphinx] Use references for Print.Théo Zimmermann
2018-05-05Fix error messages and make them consistent.Théo Zimmermann
2018-05-05Add direct reference to congruence with.Théo Zimmermann
2018-05-05Clean-up around options.Théo Zimmermann
2018-05-05debug trivial and debug auto were not in the tactic index.Théo Zimmermann
2018-05-05[sphinx] Fix some references.Théo Zimmermann
2018-05-05[sphinx] Backport reformulation.Théo Zimmermann
2018-05-05[sphinx] Backport fix of typo.Théo Zimmermann
2018-05-02Make "intro"/"intros" progress on existential variables.Hugo Herbelin
2018-04-29Strict focusing using Default Goal Selector.Gaëtan Gilbert
2018-04-16Merge PR #7270: Sphinx doc fix indicesMaxime Dénès
2018-04-16[Sphinx] Clean-up indicesMaxime Dénès
2018-04-16Merge PR #7264: [Sphinx] Fix a lot of references and description of optionsMaxime Dénès
2018-04-16[Sphinx] Fix a lot of references and description of optionsMaxime Dénès
2018-04-16Document the Export Set/Unset commands.Pierre-Marie Pédrot
2018-04-14[Sphinx] Fix all remaining warnings.Maxime Dénès
2018-04-14[sphinx] Fix many warnings.Théo Zimmermann
2018-04-14[Sphinx] Add chapter 9.Théo Zimmermann
2018-04-14[Sphinx] Move chapter 9 to new infrastructure.Théo Zimmermann
2018-04-13Merge PR #7117: Sphinx doc chapter 29Théo Zimmermann
2018-04-12[Sphinx] Add chapter 29Maxime Dénès
2018-04-11[sphinx] Remove migration artefacts.Théo Zimmermann
2018-04-11Merge PR #6955: Fixed many typos and grammar errors in chapter 11 of the manual.Maxime Dénès
2018-04-10[Sphinx] Add chapter 6Maxime Dénès
2018-04-10[Sphinx] Move chapter 6 to new infrastructureMaxime Dénès
2018-04-09Merge PR #7162: Sphinx doc chapter 7Théo Zimmermann
2018-04-09[Sphinx] Add chapter 7Maxime Dénès
2018-04-09[Sphinx] Move chapter 7 to new infrastructureMaxime Dénès
2018-04-06Fixed many typos and grammar errors in chapter 11 of the manual.Zeimer
2018-03-25Clarify wording in tactics documentation.Théo Zimmermann
2018-03-16[Sphinx] Add chapter 11Maxime Dénès
2018-03-15[Sphinx] Add chapter 10Maxime Dénès
2018-03-15[Sphinx] Move chapter 10 to new infrastructureMaxime Dénès
2018-03-15[Sphinx] Add chapter 8Maxime Dénès
2018-03-15[Sphinx] Move chapter 8 to new infrastructureMaxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 09:47:31 +0000