added two keywords
Updating: slightly improving ATSLIB/libats/ML
Updating: minorly improving
Updating: very minor addition
Updating: code shuffling
Updating: improving ATSLIB/prelude/filebas
Updating: improving ATSLIB/prelude/filebas
Updating: very minorly improving
Updating: fixing typos
Updating: generally tidying-up
Updating: generally improving
Updating: very minorly improving
Updating: adding missing overloads for some char-functions
Updating: adding missing overloads for some char-functions
Updating: very minorly tidying-up
Updating: staloading gnumber.dats
Updating: adding some matrix-copying functions
Updating: miscellaneous
Merge remote-tracking branch 'upstream/master'
very minorly improving OpenMP example