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

Tweak PackageInfo.g #12

Closed fingolfin closed 6 years ago

fingolfin commented 6 years ago

The changes to AbstractHTML are also needed for smooth integration with GitHubPagesForGAP (without it, inserting the abstract into a markdown document breaks things, as it used to close a paragraph that it did not open, and opened a paragraph without closing it)

codecov[bot] commented 6 years ago

Codecov Report

Merging #12 into master will not change coverage. The diff coverage is n/a.

@@           Coverage Diff           @@
##           master      #12   +/-   ##
=======================================
  Coverage   84.94%   84.94%           
=======================================
  Files           6        6           
  Lines        1939     1939           
=======================================
  Hits         1647     1647           
  Misses        292      292