Skip to content

Pull requests: w3c/mathml-docs

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
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

add literal property
#87 by davidcarlisle was merged Mar 26, 2025 Loading…
prepare CI for Intent lists YAML data
#85 by dginev was merged Mar 10, 2025 Loading…
add equation-label for w3c/mathml#525
#84 by davidcarlisle was merged Mar 15, 2025 Loading…
Delete .travis.yml
#83 by physikerwelt was merged Feb 25, 2025 Loading…
Changes as per Math WG meeting
#79 by NSoiffer was merged Jan 30, 2025 Loading…
add plus and full width plus to unicode-speech
#77 by dginev was merged Jan 9, 2025 Loading…
use mn for roman numbers
#75 by davidcarlisle was merged Mar 3, 2025 Loading…
Fix minimum # of args for n-ary argument concept names
#74 by NSoiffer was merged Nov 10, 2024 Loading…
use :literal property name
#73 by dginev was merged Oct 23, 2024 Loading…
Add "structure" property to core properties list
#72 by NSoiffer was merged Oct 23, 2024 Loading…
Change core concept name point-at to point (2 or more args)
#70 by NSoiffer was merged Oct 19, 2024 Loading…
Fix: Correct quotes in core.yml
#66 by physikerwelt was merged Jun 10, 2024 Loading…
Unify format of core and open concept lists
#65 by davidcarlisle was merged Jun 13, 2024 Loading…
Add by-row and by-column properties
#64 by NSoiffer was merged May 19, 2024 Loading…
Updating to Feb 7 meeting and fix some bugs
#62 by NSoiffer was merged Feb 16, 2024 Loading…
Merge changes based on 2/8 meeting
#61 by NSoiffer was closed Feb 16, 2024 Loading…
Update to Jan 18 meeting decisions
#60 by NSoiffer was merged Jan 26, 2024 Loading…
Mostly finished off Deyan's spreadsheet
#58 by NSoiffer was merged Dec 21, 2023 Loading…
Updating to Dec 7 meeting
#57 by NSoiffer was merged Dec 9, 2023 Loading…
Add a few more entries
#56 by NSoiffer was merged Dec 7, 2023 Loading…
ProTip! What’s not been updated in a month: updated:<2025-05-12.