Search results

Recommend adding <code>gh-pages</code> to <code>.gitignore</code>

Status: Open.

#22 In gap-system/GitHubPagesForGAP;

· fingolfin opened on May 27, 2021

Add links to PDF version of manual

Status: Open.

#21 In gap-system/GitHubPagesForGAP;

· fingolfin opened on Feb 26, 2021

Hyperlink GitHubPagesForGAP in Initial Setup directs to 404

Status: Open.

#18 In gap-system/GitHubPagesForGAP;

· DominikBernhardt opened on Nov 10, 2019

Extract license from <code>PackageInfo.g</code>, and show it to user (if present)

Status: Open.

#17 In gap-system/GitHubPagesForGAP;

· fingolfin opened on Jun 4, 2019

On small phone screens, download button for .tar.gz may be hidden (at least in portrait mode)

Status: Open.

#16 In gap-system/GitHubPagesForGAP;

· fingolfin opened on Oct 25, 2018

Improve setup.sh script, make it more resilient

Status: Open.

#15 In gap-system/GitHubPagesForGAP;

· fingolfin opened on Oct 24, 2018

Offer a choice between multiple layouts / themes?

enhancement

Status: Open.

#1 In gap-system/GitHubPagesForGAP;

· fingolfin opened on Aug 22, 2014