ats2-postiats-0.3.10:


------------------------------------------------
ATS2-0.3.10.tgz:
MD5: 8dd5c5b4542bb9b65385d62c53b12943
SHA1: ec31033459be1771d0baf76f96553ecaaa9dde6d
------------------------------------------------

This is the 47th 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. Improving atscntrb-sdstring and atscntrb-hx-cstream
2. Changing "atscntrb" to "atscntrb-hx" in the names of almost all of
   the npm-based ATS packages contributed by myself (Hongwei). This is
   a pervasive change due the wide use of these packages.
3. Adding libats/ML/SATS/argvec.sats and libats/ML/SATS/argvec.dats
4. Adding share/SCRIPT/buildRelease.sh to automate build/release ATS