## ats2-postiats-0.3.11:

    ------------------------------------------------
    ATS2-0.3.11.tgz:
    MD5: 847b592ce92655fe72f68000104e12b4
    SHA1: c4df38d0ae759be4294c8a9d90f8bad7800dac50
    ------------------------------------------------

    This is the 48th 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. Re-enabling the support for -IATS
    2. Rewording LICENSE: the ATS libraries are now covered under LGPLv3
       In particular, any C code generated by ATS/Postiats is NOT by default
       considered to be covered by the GPL/LGPL license of any kind.
    3. Renaming some keywords:
       atstbox for atstype
       atstflat for atst0ype
       atsvtbox for atsvtype
       atsvtflat for atsvt0ype
       absimpl for assume and atsreimpl for reassume