[ats-lang-users] ATS2-0.4.1 released

[Hongwei Xi <hw...@bu...>]

Hi,

It is my pleasure to announce the release
of ATS2-0.4.1. Note that this is the version needed
(or may be needed in the future) for compiling the
ongoing implementation of ATS3 (ATS/Xanadu).

------------------------------------------------
ATS-Postiats-0.4.1.tgz:
The same as ATS-Postiats-int-0.4.1.tgz
MD5: 99d99ea8296035abc7983fc3c21e1f05
SHA1: 1e1d2b33b2f89ca229689de6fc6b403d0d35b6fe
--
ATS2-Postiats-gmp-1.4.0.tgz:
MD5: 1f73c15ec2fcf0b6880f7a2b3d5da17c
SHA1: af6a943b49236f02fcc1fe671477dbff85197c6a
--
ATS2-Postiats-int-1.4.0.tgz:
MD5: 6bbdd92aa412dd7f70a9e56363b8b22f
SHA1: 6c9e4032514a297365ad1f92a17dd61ead70755f
------------------------------------------------

This is the 52nd 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:

There are only a few minor modifications made to the last release;
however, these modifications are needed for compiling ATS3 in the 
future.

######

Please note that there are two variants of the ATS2 package being
released: 

The "gmp" variant depends on the GMP library and the "int" variant does 
not depend on the GMP library. In this release
ATS2-Postiats-0.4.1.tgz is just the same as ATS2-Postiats-int-0.4.1.tgz.

######

Cheers,

--Hongwei

Computer Science Department
Boston University
111 Cummington Street
Boston, MA 02215

Email: hw...@cs...
Url: http://www.cs.bu.edu/~hwxi
Tel: +1 617 358 2511 (office)
Fax: +1 617 353 6457 (department)