search

gap-packages / FactInt

FactInt -- Advanced Methods for [Fact]oring [Int]egers
https://gap-packages.github.io/FactInt/
GNU General Public License v2.0
4 stars 4 forks source link

Update gh-pages #13

Closed fingolfin closed 6 years ago

fingolfin commented 6 years ago

This PR updates the gh-pages branch to match PR #12 and also to include a fix in GithubPagesForGAP to deal with multiline AbstractHTML