3.1.11  Release 4.2.0

Version 2011-09-06-04.12.17.

This is a minor release — more renaming of number and vector classes:

    src/lib/std/eight-byte-float.pkg

    src/lib/std/multiword-int.pkg
    src/lib/std/src/two-word-int.pkg
    src/lib/std/tagged-int.pkg
    src/lib/std/one-word-int.pkg

    src/lib/std/one-byte-unt.pkg
    src/lib/std/one-word-unt.pkg
    src/lib/std/src/two-word-unt.pkg

    src/lib/std/vector-of-chars.pkg
    src/lib/std/float-vector-slice.pkg
    src/lib/std/rw-vector-of-chars.pkg
    src/lib/std/rw-float-vector-slice.pkg
    src/lib/std/src/rw-vector-slice.pkg
    src/lib/std/src/vector-slice-of-chars.pkg
    src/lib/std/src/rw-vector-slice-of-chars.pkg
    src/lib/std/src/vector-of-eight-byte-floats.pkg
    src/lib/std/src/rw-vector-of-one-byte-unts.pkg
    src/lib/std/src/rw-vector-slice-of-one-byte-unts.pkg
    src/lib/std/src/vector-of-chars.pkg
    src/lib/std/src/vector.pkg
    src/lib/std/src/vector-slice.pkg
    src/lib/std/src/vector-of-one-byte-unts.pkg
    src/lib/std/src/vector-slice-of-one-byte-unts.pkg
    src/lib/std/src/rw-vector-of-chars.pkg
    src/lib/std/src/vector-slice-of-eight-byte-floats.pkg
    src/lib/std/src/rw-vector-of-eight-byte-floats.pkg
    src/lib/std/src/rw-vector-slice-of-eight-byte-floats.pkg
    src/lib/std/src/rw-vector.pkg