Improve error message from ghc --make when filename and modulename differ
[ghc-hetmet.git] / rts / gmp / version.texi
1 @set UPDATED 5 October 2000
2 @set EDITION 3.1.1
3 @set VERSION 3.1.1