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