Skip to content

Pull requests: ocsigen/tyxml

New pull request New
14 Open 207 Closed
14 Open 207 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

doc: odoc manual + API (wodoc migration, dev)
#355 opened Jun 6, 2026 by balat Member • Draft
Add SVG symbol attributes
#349 opened Oct 24, 2025 by caden-parajuli Loading…
Fixing an issue with the function Xml_print.compose_decl. bug
#348 opened Sep 11, 2025 by Mbodin Contributor Loading…
3
Allow <div> & script-supporting element in <dl> html & svg standard
#344 opened Jun 21, 2025 by toastal Contributor Loading…
6
Add support for Microdata html & svg standard
#343 opened May 13, 2025 by toastal Contributor Loading…
12
Add support for the popover API and for the name attribute on details elements. html & svg standard
#341 opened Nov 4, 2024 by SylvainBoilard Loading…
4
Ignoring whitespaces in svg tags that do not accept pcdata.
#331 opened Dec 15, 2023 by Mbodin Contributor Loading…
This should fix #326.
#328 opened Dec 4, 2023 by Mbodin Contributor Loading…
4
Adding support for fill-opacity html & svg standard
#325 opened Nov 27, 2023 by Mbodin Contributor Loading…
14
Fix Svg.animate type, name and attributes
#308 opened Jun 21, 2022 by rand00 Loading…
6
Avoid breaking between text nodes
#300 opened Feb 10, 2022 by Julow Contributor • Draft
1
Improve the typing for restricted block constructs
#265 opened Apr 15, 2020 by Drup Member Loading…
1
Add export streaming functions
#223 opened Oct 28, 2018 by Drup Member Loading…
1
Type safe templating (with mustache)
#128 opened Apr 18, 2016 by Drup Member Loading…
2
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.