homalg-project/GradedModules — pull request #19 by fingolfin (2014-04-09 17:58:39+00:00)
Title: Do not use FormattedString

It was never documented and has long since been deprecated.

Without this, this package won't load when one starts gap via "gap -O"