aboutsummaryrefslogtreecommitdiff
path: root/doc/sphinx
AgeCommit message (Expand)Author
2019-05-10Merge PR #10080: Define minimum Sphinx version in conf.py.Clément Pit-Claudel
2019-05-10Better title for the first example of the Ltac examples section.Théo Zimmermann
2019-05-09Improve the first two Ltac examples.Théo Zimmermann
2019-05-09Rewording, language improvements.Théo Zimmermann
2019-05-08[refman] Move all the Ltac examples to the Ltac chapter.Théo Zimmermann
2019-05-08Define a new `is_a_released_version` variable in configure.ml.Théo Zimmermann
2019-05-07Added "Recursively" for the R optionRobert Rand
2019-05-07Added description of QRobert Rand
2019-05-07Merge PR #10077: [refman] Add a note reminding about the typeclass_instances ...Clément Pit-Claudel
2019-05-07Define minimum Sphinx version in conf.py.Théo Zimmermann
2019-05-07Merge PR #10053: Document change_no_check variantsThéo Zimmermann
2019-05-07Merge PR #10002: Integrate ltac2Théo Zimmermann
2019-05-07[refman] Add a note reminding about the typeclass_instances database.Théo Zimmermann
2019-05-07Integrate build and documentation of Ltac2Maxime Dénès
2019-05-05New infrastructure for the unreleased changelog.Théo Zimmermann
2019-05-04Merge PR #9996: Fix #5752: `Hint Mode` ignored for type classes that appear a...Pierre-Marie Pédrot
2019-05-03Copy-editing from code reviewJason Gross
2019-05-03Documentation for change_no_check untested variantsPaolo G. Giarrusso
2019-05-03Document _no_check tactics (#3225)Paolo G. Giarrusso
2019-05-02Fix #5752: `Hint Mode` ignored for type classes that appear as assumptionsMaxime Dénès
2019-04-30Change entry from #9651.Théo Zimmermann
2019-04-30Change entry for #10014.Théo Zimmermann
2019-04-30Add number of commits, PRs and issues closed.Théo Zimmermann
2019-04-30Advertize continuous deployment of documentation.Théo Zimmermann
2019-04-30More review suggestions.Théo Zimmermann
2019-04-30Remove remaining references to CHANGES.md from the Recent changes chapter.Théo Zimmermann
2019-04-30Remove misplaced CHANGES entry and fix links formatting.Théo Zimmermann
2019-04-30Finish adding authors and links to PRs.Théo Zimmermann
2019-04-30Change entry for #9906.Théo Zimmermann
2019-04-30Split changes between main changes and other changes (no repetition).Théo Zimmermann
2019-04-30Remove 8.10 entries from CHANGES file.Théo Zimmermann
2019-04-30First fixing pass, and experiment with dune-style PR number and author listing.Théo Zimmermann
2019-04-30Apply suggestions from code review Théo Zimmermann
2019-04-30Credits for 8.10Matthieu Sozeau
2019-04-30CoqIDE: updating documentation of the Preference windows.Hugo Herbelin
2019-04-29Merge PR #9987: Fix #9180 by reverting #9249 and #8187Emilio Jesus Gallego Arias
2019-04-29Merge PR #9651: [ssr] Add tactics under and overCyril Cohen
2019-04-29Merge PR #10011: [refman] Fix typo.Vincent Laporte
2019-04-29Merge PR #10018: Document unshelve (#3225)Théo Zimmermann
2019-04-29Revert #8187Vincent Laporte
2019-04-29Document unshelve (#3225)Paolo G. Giarrusso
2019-04-28Merge PR #9605: [coq_makefile] Enforce warn_error for plugins.Gaëtan Gilbert
2019-04-27Minor doc improvement.Théo Zimmermann
2019-04-27[refman] Fix typo.Théo Zimmermann
2019-04-24Merge PR #9988: [refman] Properly define token regexp.Clément Pit-Claudel
2019-04-24[refman] Fix a quoting problem.Théo Zimmermann
2019-04-24[refman] Properly define token regexp.Théo Zimmermann
2019-04-24[coq_makefile] Enforce warn_error for plugins.Emilio Jesus Gallego Arias
2019-04-23[ssr] under: optimization of the tactic for (under eq_bigl => *)Erik Martin-Dorel
2019-04-23[ssr] Define over as a rewrite rule & Merge 'Under[ _ ] notationsErik Martin-Dorel
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-26 22:44:06 +0000