Skip to content

Issues: OpenMath/OpenMath.github.io

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Clear current search query, filters, and sorts
16 Open 33 Closed
16 Open 33 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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Use https://w3id.org/openmath/ for serving files
#70 opened Jun 30, 2023 by kenwenzel updated Jan 3, 2024
1
Broken links
#69 opened Jun 28, 2022 by saona-raimundo updated Jun 28, 2022
4
Link to https://www.win.tue.nl/~ida dead
#63 opened Dec 20, 2018 by heiderich updated Jan 5, 2019
2
Link to http://www.activemath.org/ is dead
#62 opened Dec 20, 2018 by heiderich updated Jan 5, 2019
1
think about James' proposed classification of CDS and use on website enhancement question
#47 opened Oct 1, 2017 by kohlhase updated Oct 8, 2017
@kohlhase @olexandr-konovalov @JamesHDavenport
4
RDF version of the OpenMath CDs broken when accessed via canonical URIs
#50 opened Oct 3, 2017 by kohlhase updated Oct 5, 2017
2
Rewrite of "Technical overview" in progress
#41 opened Aug 23, 2017 by lars-hellstrom updated Oct 3, 2017
5
Write a new OM/MathML alignment document
#49 opened Oct 3, 2017 by kohlhase updated Oct 3, 2017
Narrower sidebar
#42 opened Sep 7, 2017 by lars-hellstrom updated Sep 30, 2017
2
run a link checker over the old/new sites
#17 opened Sep 12, 2016 by kohlhase updated Sep 30, 2017 First round of fixes
@tkw1536 @jwknopper
6
Separate mailing lists and website hosting
#20 opened Sep 27, 2016 by tkw1536 updated Sep 28, 2017
@tkw1536 @jwknopper
4
describe STS better enhancement
#23 opened Jun 2, 2017 by kohlhase updated Sep 27, 2017 First round of fixes
@JamesHDavenport
link the new web site to http://openmath.org
#30 opened Jul 21, 2017 by kohlhase updated Sep 27, 2017
4 tasks
@davidcarlisle @tkw1536
@kohlhase @JamesHDavenport @jwknopper
21
rework the OM software page
#7 opened Sep 11, 2016 by kohlhase updated Sep 27, 2017 Tasks for restructure
@jwknopper
2
Add the Lurch content dictionary editor to the OM Web site
#31 opened Jul 22, 2017 by kohlhase updated Jul 26, 2017
1
openmath bibliography ends in 2000
#6 opened Sep 11, 2016 by kohlhase updated Sep 11, 2016 Tasks for restructure
@jwknopper
ProTip! Add no:assignee to see everything that’s not assigned.