gap-packages / recog

The GAP package recog to collect methods for constructive recognition
https://gap-packages.github.io/recog/
GNU General Public License v3.0
6 stars 14 forks source link

Enhance regen_doc.g #262

Closed ssiccha closed 3 years ago

ssiccha commented 3 years ago

Fixes #257.

codecov[bot] commented 3 years ago

Codecov Report

Merging #262 (0eb98fa) into master (6dcc0f8) will not change coverage. The diff coverage is n/a.

:exclamation: Current head 0eb98fa differs from pull request most recent head f9ea902. Consider uploading reports for the commit f9ea902 to get more accurate results

@@           Coverage Diff           @@
##           master     #262   +/-   ##
=======================================
  Coverage   77.76%   77.76%           
=======================================
  Files          37       37           
  Lines       17497    17497           
=======================================
  Hits        13606    13606           
  Misses       3891     3891           
ssiccha commented 3 years ago

@FriedrichRober @danielrademacher What we talked about today during the call.

ssiccha commented 3 years ago

@fingolfin I've improved the "used for ... groups" strings. I'll squash everything in the end.