User Activity

  • Committed [r10337] on Code

    Prepare docs for 0.23; tag "legacy_ids" setting as provisional.

  • Modified ticket #81 on Docutils: Documentation Utilities

    latex2e: Allow footnotes to be more easily customizable

  • Posted a comment on ticket #81 on Docutils: Documentation Utilities

    There is support for "--latex-footnotes" in Docutils 0.23 (rc1 is just out) so maybe we can close this ticket as outdated.

  • Modified a comment on ticket #96 on Docutils: Documentation Utilities

    Yes, there is native support for abbreviations in Docutils with the "abbreviation" role (alias "ab") and <abbreviation></abbreviation> Document-Tree element. The HTML writers convert it to an <abbr> element (cf. the test output for Text Level Semantics and the source). However, there is currently no way to specify the expansion (the "title"). rST inline roles syntax is not suited for cases requiring 2 arguments (here, the title and the abbreviation). Unfortunately, there is no clear solution: ht...

  • Modified a comment on ticket #96 on Docutils: Documentation Utilities

    Yes, there is native support for abbreviations in Docutils with the "abbreviation" role (alias "ab") and <abbreviation> Document-Tree element. The HTML writers convert it to an <abbr> element (cf. the test output for Text Level Semantics and the source). However, there is currently no way to specify the expansion (the "title"). rST inline roles syntax is not suited for cases requiring 2 arguments (here, the title and the abbreviation). Unfortunately, there is no clear solution: https://docutils....

  • Committed [r10332] on Code

    Define public API and backwards compatibility policy.

  • Committed [r10331] on Code

    LaTeX writer: improve rendering of unreferenced footnotes.

  • Committed [r10330] on Code

    LaTeX writer: Fix footnote references in titles.

View All

Personal Data

Username:
milde
Joined:
2001-09-27 07:19:26
Location:
CEST

Projects

This is a list of open source software projects that Günter Milde is associated with:

Personal Tools

MongoDB Logo MongoDB