Skip to content

Pull requests: gap-system/gap

New pull request New
Clear current search query, filters, and sorts
0 Open 224 Closed
0 Open 224 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
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

extend the documentation of SetPackagePath kind: enhancement Label for issues suggesting enhancements; and for pull requests implementing enhancements release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: documentation Issues and PRs related to documentation topic: packages issues or PRs related to package handling, or specific to a package (for packages w/o issue tracker)
#5921 by ThomasBreuer was merged Jan 28, 2025 Loading…
1
Document TrivialGModule release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: documentation Issues and PRs related to documentation topic: library
#5879 by fingolfin was merged Dec 21, 2024 Loading…
1
Document some long-style command line options release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: documentation Issues and PRs related to documentation
#5878 by fingolfin was merged Jan 2, 2025 Loading…
1
5
Update CHANGES.md release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: documentation Issues and PRs related to documentation
#5856 by fingolfin was merged Dec 5, 2024 Loading…
fix GAPDoc syntax for the manual in doc/dev kind: bug Issues describing general bugs, and PRs fixing them release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: documentation Issues and PRs related to documentation
#5825 by ThomasBreuer was merged Oct 24, 2024 Loading…
minor improvements of the Reference Manual kind: enhancement Label for issues suggesting enhancements; and for pull requests implementing enhancements release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: documentation Issues and PRs related to documentation
#5820 by ThomasBreuer was merged Oct 21, 2024 Loading…
fix the documentation of IsPGroup kind: enhancement Label for issues suggesting enhancements; and for pull requests implementing enhancements release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: documentation Issues and PRs related to documentation
#5784 by ThomasBreuer was merged Aug 30, 2024 Loading…
Fix typo in TestDirectory doc release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: documentation Issues and PRs related to documentation
#5759 by james-d-mitchell was merged Jun 27, 2024 Loading…
Fix Testing section in dev guidelines release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: documentation Issues and PRs related to documentation
#5758 by lgoettgens was merged Jun 27, 2024 Loading…
Update links to manuals backport-to-4.13-DONE release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: documentation Issues and PRs related to documentation
#5690 by fingolfin was merged Apr 2, 2024 Loading…
3
create/update doc/ref/user_pref_list.xml automatically backport-to-4.13-DONE kind: bug Issues describing general bugs, and PRs fixing them release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: documentation Issues and PRs related to documentation topic: tests issues or PRs related to tests
#5681 by ThomasBreuer was merged Mar 18, 2024 Loading…
1
dev/releases/README.md: update based on release experience release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: documentation Issues and PRs related to documentation topic: infrastructure
#5679 by fingolfin was merged Mar 21, 2024 Loading…
fix a <Log> example in the Reference Manual kind: bug Issues describing general bugs, and PRs fixing them release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: documentation Issues and PRs related to documentation
#5673 by ThomasBreuer was merged Mar 14, 2024 Loading…
3
fix typo in doc. of LatticeByCyclicExtension kind: bug Issues describing general bugs, and PRs fixing them release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: documentation Issues and PRs related to documentation
#5658 by ThomasBreuer was merged Feb 27, 2024 Loading…
Update or delete some documentation release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: documentation Issues and PRs related to documentation
#5633 by fingolfin was merged Feb 8, 2024 Loading…
2
Update INSTALL.md release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: documentation Issues and PRs related to documentation
#5598 by fingolfin was merged Jan 22, 2024 Loading…
3
README.md: add or fix some links, typo release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: documentation Issues and PRs related to documentation
#5597 by fingolfin was merged Jan 19, 2024 Loading…
2
Improve and update windows text in INSTALL.md release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: documentation Issues and PRs related to documentation
#5595 by ChrisJefferson was merged Jan 19, 2024 Loading…
13
document more standard math functions as discussed in #1778 kind: enhancement Label for issues suggesting enhancements; and for pull requests implementing enhancements release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: documentation Issues and PRs related to documentation
#5530 by schnellecom was merged Nov 17, 2023 Loading…
9
Improve definitions of vector spaces and algebras in the GAP Tutorial as discussed in #4112 kind: enhancement Label for issues suggesting enhancements; and for pull requests implementing enhancements release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: documentation Issues and PRs related to documentation
#5529 by schnellecom was merged Nov 17, 2023 Loading…
1
SubgroupProperty works only for perm. groups kind: enhancement Label for issues suggesting enhancements; and for pull requests implementing enhancements release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: documentation Issues and PRs related to documentation
#5513 by ThomasBreuer was merged Sep 29, 2023 Loading…
added a rule about variable names kind: enhancement Label for issues suggesting enhancements; and for pull requests implementing enhancements release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: documentation Issues and PRs related to documentation
#5505 by ThomasBreuer was merged Sep 6, 2023 Loading…
4
Add example for package extensions kind: enhancement Label for issues suggesting enhancements; and for pull requests implementing enhancements release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: documentation Issues and PRs related to documentation
#5490 by schnellecom was merged Aug 25, 2023 Loading…
9
changed the documentation of FamilyPcgs kind: bug Issues describing general bugs, and PRs fixing them release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: documentation Issues and PRs related to documentation
#5488 by ThomasBreuer was merged Aug 17, 2023 Loading…
1
fixing BlownUpMat documentation #5470 release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: documentation Issues and PRs related to documentation
#5471 by Spamakin was merged Jul 6, 2023 Loading…
1
ProTip! Add no:assignee to see everything that’s not assigned.