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