ATS2-0.3.13

## ats2-postiats-0.3.13:

    ------------------------------------------------
    ATS2-Postiats-gmp-0.3.13.tgz:
    MD5: caf1515a077472b5cd56b92c996aec91
    SHA1: 969fcaf9e2c11ca3b89d5b21aaff70f7b126a960
    --
    ATS2-Postiats-int-0.3.13.tgz:
    MD5: d67be4927beb144ad13bc9506c946859
    SHA1: 442d51167cd82da0d7107dbbd16cc5b97d73b4b4
    ------------------------------------------------

    This is the 50th release of ATS2, the successor of the
    ATS programming language. The compiler for ATS2 is given
    the name ATS/Positats, ATS2/Postiats or simply Postiats.

    The official website for ATS is:

    http://www.ats-lang.org

    ATS-Postiats is hosted at github:

    https://github.com/githwxi/ATS-Postiats

    Major releases of ATS2 are available at:

    https://sourceforge.net/projects/ats2-lang/

    Major releases of external packages for ATS2 are available at:

    https://sourceforge.net/projects/ats2-lang-contrib/

    Here is a list of major additions and changes since the last release:

    1. Fixing the issue of escaping '$' in PHP string literals (atscc2php)
       Kudos to M88!
    2. Fixing very minor issues in libats/qlist and libats/linmap
    3. Enforcing that no d2var can be leaked/exported from a namespace

    Please note that starting in this release, there are two variants of the package
    released: the "gmp" variant depends on the GMP library. The "int" variant does
    not depend on the GMP library. In this release ATS2-Postiats-0.3.13.tgz is just
    the same as ATS2-Postiats-gmp-0.3.13.tgz. This is subject to change in future
    releases, as most users (especially new users) can get by without the extra
    dependency on GMP.