Skip to content

Pull requests: w3c/mathml

New pull request New
Clear current search query, filters, and sorts
3 Open 143 Closed
3 Open 143 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

Define what a concept match is (plus some cleanup)
#511 by NSoiffer was merged Oct 23, 2024 Loading…
46
IntentName view of literals
#459 by dginev was closed May 4, 2023 Loading…
32
more words on intent
#302 by davidcarlisle was merged Mar 31, 2022 Loading…
31
Rearrange Intent section
#513 by brucemiller was merged Nov 1, 2024 Loading…
29
Davidc/refactor schema
#269 by davidcarlisle was merged Feb 28, 2022 Loading…
25
extend concept matching description
#477 by davidcarlisle was closed Oct 22, 2024 Loading…
@davidcarlisle
24
simplify intent grammar, dropping restriction on head of application
#394 by davidcarlisle was closed Jul 11, 2022 Loading…
@davidcarlisle
18
re-arrange chapter4 from @davidcarlisle, with operators appendix from @samdooley
#325 by davidcarlisle was merged May 5, 2022 Loading…
13
Changes/fixes to "Script and Limit Schemata" section
#350 by NSoiffer was merged May 10, 2022 Loading…
12
alignment points
#408 by NSoiffer was merged Aug 11, 2022 Loading…
12
Intent properties intent Issues involving the proposed "intent" attr MathML 4 Issues affecting the MathML 4 specification
#438 by davidcarlisle was merged Mar 19, 2023 Loading…
@davidcarlisle
12
Intent interpretation
#543 by davidcarlisle was merged Oct 23, 2025 Loading…
12
symbolic intents
#452 by davidcarlisle was closed Apr 3, 2023 Loading…
11
A little more work on presentation. Removed a few things and moved th…
#323 by NSoiffer was merged Apr 21, 2022 Loading…
10
minor proofreading edits, 11/07/2024
#516 by dginev was merged Nov 8, 2024 Loading…
10
remove open properties list (WG call 2025-03-13)
#529 by davidcarlisle was merged Mar 15, 2025 Loading…
10
A start at refactoring chapter 5 for intent
#286 by davidcarlisle was merged Mar 17, 2022 Loading…
@davidcarlisle
9
Davidc/intent hint
#399 by davidcarlisle was merged Jul 11, 2022 Loading…
@davidcarlisle
9
pubrules security and privacy sections
#413 by davidcarlisle was merged Aug 13, 2022 Loading…
@davidcarlisle
9
Add guidance for using aria-description
#520 by dginev was merged Nov 21, 2024 Loading…
1
9
align mpadded with core
#519 by davidcarlisle was merged Nov 19, 2024 Loading…
9
Underscore examples for language-near intent values
#427 by dginev was merged Sep 29, 2022 Loading…
1
8
Distinguish literal from unknown concept
#466 by brucemiller was merged May 4, 2023 Loading…
8
update core concept description
#471 by davidcarlisle was merged Aug 24, 2023 Loading…
8
First draft of drawing contrast of Full with Core
#283 by brucemiller was merged Mar 10, 2022 Loading…
6
ProTip! Updated in the last three days: updated:>2025-11-07.