-
Notifications
You must be signed in to change notification settings - Fork 0
Issues: MathHubInfo/Frontend
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Isabelle constant names with HTML are not rendered correctly.
backend
Backend specific issue
bug
Something isn't working
#129
opened Mar 26, 2021 by
kohlhase
better titles for SMGloM
backend
Backend specific issue
enhancement
New feature or request
#128
opened Mar 25, 2021 by
kohlhase
definitions should not end in "proofbox"
bug
Something isn't working
#127
opened Mar 25, 2021 by
kohlhase
Add source references to rendered shtml
backend
Backend specific issue
enhancement
New feature or request
#126
opened Mar 25, 2021 by
kohlhase
Modernize nextjs configuration
enhancement
New feature or request
#121
opened Jul 31, 2020 by
tkw1536
2 of 4 tasks
Add an integration test suite
enhancement
New feature or request
low-priority
This will be worked on eventually, but not for now
needs-design
we still need to discuss the solution
#116
opened Apr 1, 2020 by
tkw1536
Enable FlatSearch on MathHub
backend
Backend specific issue
enhancement
New feature or request
#101
opened May 21, 2019 by
kohlhase
hover texts for all interface elements
enhancement
New feature or request
#98
opened Apr 3, 2019 by
kohlhase
6 tasks
Do some SEO optimization for the glossary/dictionary
enhancement
New feature or request
needs-design
we still need to discuss the solution
#92
opened Dec 18, 2018 by
kohlhase
Implement MathHub Lenses
enhancement
New feature or request
needs-design
we still need to discuss the solution
#88
opened Nov 24, 2018 by
kohlhase
local documentation links
enhancement
New feature or request
needs-design
we still need to discuss the solution
#63
opened Nov 21, 2018 by
kohlhase
Make it clear where we are using Mockups
enhancement
New feature or request
#62
opened Nov 21, 2018 by
kohlhase
Need an inventory API/server for gl.mathhub.info
enhancement
New feature or request
needs-design
we still need to discuss the solution
#54
opened Nov 19, 2018 by
kohlhase
use MMT tags to filter libraries
enhancement
New feature or request
needs-design
we still need to discuss the solution
"Post an Article" functionality on beta.mathhub.info/news
enhancement
New feature or request
needs-design
we still need to discuss the solution
#50
opened Nov 19, 2018 by
kohlhase
resurrect the math dictionary.
enhancement
New feature or request
prototype
A prototype of this implementation exists.
reinstate http://smglom.mathhub.info
low-priority
This will be worked on eventually, but not for now
Previous Next
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.