aboutsummaryrefslogtreecommitdiff
path: root/doc/tools/coqrst/coqdomain.py
AgeCommit message (Expand)Author
2021-04-19Merge PR #13846: Include (* ... *) comments in .. coqtop:: directives in Sphi...coqbot-app[bot]
2021-04-19Merge PR #13815: Improve description of conversionscoqbot-app[bot]
2021-04-17Include (* ... *) comments in .. coqtop:: directives in Sphinx outputJim Fehrle
2021-04-17Remove superfluous sort.Jim Fehrle
2021-03-12Fixed grammar productions for PDF documentationsIsaac Oscar Gariano
2021-03-04Correctly sort the glossaryJim Fehrle
2021-01-01Merge PR #13470: Convert rewriting and proof-mode chapters to prodncoqbot-app[bot]
2020-12-30Convert rewriting and proof-mode chapters to prodnJim Fehrle
2020-12-26Set the locale in Docker so Python's default output encoding is utf-8Jim Fehrle
2020-12-09Allow any character in a tacn, cmd, ... nameJim Fehrle
2020-09-18Fix Removed in Sphinx 4 deprecations.Théo Zimmermann
2020-09-11[refman] Rename num to naturalPierre Roux
2020-09-11Remove outdated references to productionlist.Théo Zimmermann
2020-07-08Add tags in prodn indicating productions that are from plugins,Jim Fehrle
2020-06-09Merge PR #12103: Convert Ltac chapter to prodnThéo Zimmermann
2020-06-08Make automatic name generation for directives more consistent:Jim Fehrle
2020-06-07[sphinx] Fix regexp used in coqdomain.CoqtopBlocksTransform.split_linesClément Pit-Claudel
2020-06-05Fix comment.Théo Zimmermann
2020-06-05[sphinx] Fix #12361Clément Pit-Claudel
2020-06-05[sphinx] Improve the error message printed for duplicate namesClément Pit-Claudel
2020-06-05[sphinx] Remove most pylint warningsClément Pit-Claudel
2020-05-18Support :gdef:`text <term>` syntax (adding "<term>")Jim Fehrle
2020-05-08Simplify splittingQuentin Carbonneaux
2020-05-07Cleanup formatting in .. coqtop:: directivesQuentin Carbonneaux
2020-04-29Support in-line glossary entries and referencesJim Fehrle
2020-04-19Don't create index entries for the name "_"Jim Fehrle
2020-04-02Merge PR #11869: Add an index for attributes.Clément Pit-Claudel
2020-03-25Convert Gallina Extensions to use prodnJim Fehrle
2020-03-22Format hyperlink targets and link ids with the same nameJim Fehrle
2020-03-20Add an index for attributes.Théo Zimmermann
2020-03-19[refman] Stop using the deprecated math_block node (fixed GH-11856)Clément Pit-Claudel
2020-03-19[refman] Remove workaround for sphinx-doc/sphinx#4983Clément Pit-Claudel
2020-03-18Update headers in the whole code base.Théo Zimmermann
2020-03-09Remove some productionlistsJim Fehrle
2020-02-28Convert Gallina Vernac to use prodnJim Fehrle
2020-02-26Addr 'attr' directive for attributesJim Fehrle
2020-02-24Allow multiple indexed names on a single .. cmd::, etc.Jim Fehrle
2020-02-13Spell out the entry suffix in the main indexJim Fehrle
2019-12-28Convert productionlists to prodnsJim Fehrle
2019-12-14Make prodn look more like productionlistJim Fehrle
2019-07-01Update doc for % escapes in Sphinx doc, improve error messagesJim Fehrle
2019-06-17Adapt change-header script to handle shebangs in addition to Emacs comments.Théo Zimmermann
2019-05-16[refman] Introduce syntax for alternatives in notationsClément Pit-Claudel
2019-05-12[refman] Raise an error when a notation doesn't parseClément Pit-Claudel
2019-04-21Remove duplicate copy of _warn_if_duplicate_name.Jim Fehrle
2019-02-28[sphinx] Add warn option to coqtop directive.Théo Zimmermann
2019-02-19[sphinx] Refactor handling of options for coqtop directive.Théo Zimmermann
2019-02-18[sphinx] Add abort and restart options to directive coqtop.Théo Zimmermann
2019-02-18coqdomain.py fix typo in commentGaëtan Gilbert
2019-02-18Sphinx: nicer error reportingGaëtan Gilbert
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 10:00:50 +0000