don't make jump tables for small switches (<= 4 branches)
[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