IRREDSOL-1.4.4

• gzipped data files
• some documentation fixes

IRREDSOL-1.4.3

new release, hopefully now with all fixes

IRREDSOL 1.4.2

Maintenance release to improve compatibility with future versions of GAP

IRREDSOL-1.4.1

improve compatibility with GAP 4.9 and above
move distribution files to GitHub