Commits on Oct 17, 2021

1. Change package banner to use BannerFunction …

   Banner before this patch:
   
       Loading modules [mpfr, mpfi, mpc, fplll] for float 0.9.9 ...
   
   Banner after this patch:
   
       ─────────────────────────────────────────────────────────────
       Loading  float 0.9.9 (Floating-point numbers)
       by Laurent Bartholdi (http://www.uni-math.gwdg.de/laurent).
       Loaded modules: mpfr, mpfi, mpc, fplll
       Homepage: https://gap-packages.github.io/float/
       Report issues at https://github.com/gap-packages/float/issues
       ─────────────────────────────────────────────────────────────

   

   fingolfin committed Oct 17, 2021
   Configuration menu

   • View commit details
   • Copy full SHA for 14aaa3c
   • Browse repository at this point

   Copy the full SHA

   14aaa3c View commit details

   Browse the repository at this point in the history