-
Notifications
You must be signed in to change notification settings - Fork 26
Issues: gap-system/GapWWW
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
Display dependencies and reverse dependencies for each package?
#348
opened Aug 27, 2024 by
fingolfin
Transfer our bibliography data to zbmath, then replace our bibliography with a link to swmath
#343
opened Mar 25, 2024 by
fingolfin
Mention (and link to) our Slack, and perhaps also to the GItHub Discussions page
#272
opened Apr 30, 2022 by
fingolfin
Document how the website is updated for releases
documentation
#262
opened Feb 10, 2022 by
fingolfin
Integrate Issues/PRs about things that can/should be automated, and related topics
manuals
etc/extract_manuals.py
(and related steps) into the automated GAP release process
automation
#250
opened Jul 7, 2021 by
wilfwilson
Improve the provision of installation instructions
enhancement
website content
#245
opened Jun 7, 2021 by
wilfwilson
Better handling of package metadata that changes after pickup & GAP release
enhancement
packages
#234
opened Mar 4, 2021 by
wilfwilson
Decide where/how manuals for GAP and packages are hosted in the future
manuals
#223
opened Feb 19, 2021 by
fingolfin
Textbooks and other teaching materials using GAP
new content
#151
opened Feb 12, 2020 by
olexandr-konovalov
Package categories on the GAP website
enhancement
gapdays2020-spring
Issues and PRs that could be worked on or discussed during GAPDays 2020.
packages
#39
opened Aug 24, 2017 by
olexandr-konovalov
More info on package dependencies
enhancement
packages
#29
opened Feb 11, 2017 by
olexandr-konovalov
Checking and fixing broken links on GAP website
gapdays2020-spring
Issues and PRs that could be worked on or discussed during GAPDays 2020.
#15
opened Feb 27, 2016 by
olexandr-konovalov
ProTip!
Mix and match filters to narrow down what you’re looking for.