Skip to content

v2.5.2

Compare
Choose a tag to compare
@fingolfin fingolfin released this 24 Sep 16:19
· 155 commits to master since this release
  • Fix some minor issues in the documentation
  • Remove some leftover GAP 4.4 compatibility code
  • Update Max Neunhoeffer's contact data
  • Use AutoDoc to generate title page of the manual from PackageInfo.g
  • Add Max Horn as a maintainer