ats2-lang updated /ats2-lang/ats2-postiats-0.4.2/ATS2-Postiats-gmp-0.4.2.tgz

ats2-lang updated /ats2-lang/ats2-postiats-0.4.2/ATS2-Postiats-int-0.4.2.tgz

ats2-lang released /ats2-lang/ats2-postiats-0.4.2/ATS2-Postiats-0.4.2.tgz

ats2-lang updated /ats2-lang/ats2-postiats-0.4.2/ATS2-Postiats-gmp-0.4.2.tgz

ats2-lang updated /ats2-lang/ats2-postiats-0.4.2/ATS2-Postiats-int-0.4.2.tgz

ats2-lang released /ats2-lang/ats2-postiats-0.4.2/ATS2-Postiats-0.4.2.tgz

Hongwei Xi committed [c0cda5]

Updating: very very minorly

Hongwei Xi committed [a46126]

Updating: uploading ATS2-0.4.2

ats2-lang released /ats2-lang/ats2-postiats-0.4.1/ats2-postiats-0.4.1-release.html

ats2-lang released /ats2-lang/ats2-postiats-0.4.1/ATS2-Postiats-0.4.1.tgz

ats2-lang released /ats2-lang/ats2-postiats-0.4.1/ATS2-Postiats-include-0.4.1.tgz

ats2-lang updated /ats2-lang/ats2-postiats-0.4.1/ATS2-Postiats-contrib-0.4.1.tgz

ats2-lang released /ats2-lang/ats2-postiats-0.4.1/ATS2-Postiats-contrib-0.4.1.tgz

ats2-lang released /ats2-lang/ats2-postiats-0.4.1/ATS2-Postiats-gmp-0.4.1.tgz

ats2-lang released /ats2-lang/ats2-postiats-0.4.1/ATS2-Postiats-int-0.4.1.tgz

Hongwei Xi committed [c99640]

Updating: very very minorly

Hongwei Xi committed [f058ee]

Updating: very very minorly

Hongwei Xi committed [54eb08]

Updating: very very minorly

Hongwei Xi committed [175aa7]

Updating: very very minorly

Hongwei Xi committed [a99529]

Updating: very very minorly

Hongwei Xi committed [0d0259]

Updating: very very minorly

Hongwei Xi committed [7639ff]

Updating: very very minorly

ats2-lang released /ats2-lang/ats2-postiats-0.4.0/ATS2-Postiats-0.4.0.tgz

ats2-lang released /ats2-lang/ats2-postiats-0.4.0/ATS2-Postiats-include-0.4.0.tgz

ats2-lang released /ats2-lang/ats2-postiats-0.4.0/ATS2-Postiats-gmp-0.4.0.tgz

ats2-lang released /ats2-lang/ats2-postiats-0.4.0/ATS2-Postiats-contrib-0.4.0.tgz

ats2-lang released /ats2-lang/ats2-postiats-0.4.0/ATS2-Postiats-int-0.4.0.tgz

Hongwei Xi committed [3ad0fa]

Updating: upgrading to ATS2-0.4.0

Hongwei Xi committed [64ff9a]

Updating: after releasing ATS2-0.3.13

Hongwei Xi committed [e55d53]

Updating: after releasing ATS2-0.3.13

ats2-lang released /ats2-lang/ats2-postiats-0.3.13/ATS2-Postiats-contrib-0.3.13.tgz

ats2-lang released /ats2-lang/ats2-postiats-0.3.13/ATS2-Postiats-0.3.13.tgz

ats2-lang released /ats2-lang/ats2-postiats-0.3.13/ATS2-Postiats-gmp-0.3.13.tgz

ats2-lang released /ats2-lang/ats2-postiats-0.3.13/ATS2-Postiats-int-0.3.13.tgz

ats2-lang released /ats2-lang/ats2-postiats-0.3.13/ATS2-Postiats-include-0.3.13.tgz

ats2-lang released /ats2-lang/ats2-postiats-0.3.13/ats2-postiats-0.3.13-release.html

Hongwei Xi committed [a027d7]

Updating: adding atscntrb-hx-parcomb for myatscc

Hongwei Xi committed [a395fa]

Updating: preparing for releasing ATS2-0.3.13

Hongwei Xi committed [be588e]

Updating: very very minorly fixing

ats2-lang released /ats2-lang/ats2-postiats-0.3.12/ats2-postiats-0.3.12-release.html

ats2-lang released /ats2-lang/ats2-postiats-0.3.12/ATS2-Postiats-include-0.3.12.tgz

ats2-lang released /ats2-lang/ats2-postiats-0.3.12/ATS2-Postiats-0.3.12.tgz

ats2-lang released /ats2-lang/ats2-postiats-0.3.12/ATS2-Postiats-contrib-0.3.12.tgz

Hongwei Xi committed [1b9fa6]

Updating: preparing for ATS2-0.3.12

Hongwei Xi committed [d7fc13]

Updating: initiating ATS2-0.3.12

ats2-lang released /ats2-lang/ats2-postiats-0.3.11/ATS2-Postiats-0.3.11.tgz

ats2-lang released /ats2-lang/ats2-postiats-0.3.11/ats2-postiats-0.3.11-release.html

ats2-lang released /ats2-lang/ats2-postiats-0.3.11/ATS2-Postiats-contrib-0.3.11.tgz

ats2-lang released /ats2-lang/ats2-postiats-0.3.11/ATS2-Postiats-include-0.3.11.tgz

Hongwei Xi committed [c4df96]

Updating: for releasing ATS2-0.3.11

Hongwei Xi committed [240eee]

Updating: for releasing ATS2-0.3.11

Hongwei Xi committed [44b3d3]

Updating: for releasing ATS2-0.3.11

Hongwei Xi committed [1463b1]

Updating: fixing ATS-extsolve-...

Hongwei Xi committed [6d83ac]

Updating: very very minor fix

Hongwei Xi committed [29b661]

Updating: very very minor fix

ats2-lang released /ats2-lang/ats2-postiats-0.3.10/ATS2-Postiats-0.3.10.tgz

ats2-lang released /ats2-lang/ats2-postiats-0.3.10/ATS2-Postiats-include-0.3.10.tgz

ats2-lang released /ats2-lang/ats2-postiats-0.3.10/ATS2-Postiats-contrib-0.3.10.tgz

ats2-lang released /ats2-lang/knl_opt.pdf

Hongwei Xi committed [6fa5f3]

Updating: adding prelude/codegen2.sats

ats2-lang released /ats2-lang/ats2-postiats-0.3.10/ats2-postiats-0.3.10-release.html

ats2-lang released /ats2-lang/ats2-postiats-0.3.10/ATS2-Postiats-0.3.10.tgz

ats2-lang released /ats2-lang/ats2-postiats-0.3.10/ATS2-Postiats-include-0.3.10.tgz

ats2-lang released /ats2-lang/ats2-postiats-0.3.10/ATS2-Postiats-contrib-0.3.10.tgz

Hongwei Xi posted a comment on discussion General Discussion

Thanks.

Hongwei Xi committed [32024b]

Updating: preparing for releasing ATS2-0.3.10

Hongwei Xi committed [412354]

Updating: very very minorly

Hongwei Xi committed [c65fdd]

Updating: very very minorly

Hongwei Xi committed [ae09a1]

Updating: adding some patches by James Clarke

Hongwei Xi committed [7c7de2]

Updating: reorganizing PATSHOME/npm-utils/contrib/atscntrb

Hongwei Xi committed [77f107]

Updating: reorganizing PATSHOME/contrib/atscntrb

ats2-lang released /ats2-lang/ats2-postiats-0.3.9/ATS2-Postiats-0.3.9.tgz

ats2-lang released /ats2-lang/ats2-postiats-0.3.9/ats2-postiats-0.3.9.html

ats2-lang released /ats2-lang/ats2-postiats-0.3.9/ATS2-Postiats-include-0.3.9.tgz

ats2-lang released /ats2-lang/ats2-postiats-0.3.9/ATS2-Postiats-contrib-0.3.9.tgz

Hongwei Xi committed [f73a5b]

Updating: preparing for the release of ATS2-0.3.9

Hongwei Xi committed [06036f]

Updating: preparing for the release of ATS2-0.3.9

Hongwei Xi committed [3d586c]

Updating: preparing for the release of ATS2-0.3.9

Hongwei Xi committed [a21ec1]

Updating: preparing for the release of ATS2-0.3.9

Hongwei Xi committed [f6af13]

Updating: preparing for the release of ATS2-0.3.9

Hongwei Xi committed [ebde30]

Updating: preparing for the release of ATS2-0.3.9

Hongwei Xi committed [7d83da]

Updating: preparing for the release of ATS2-0.3.9

Hongwei Xi committed [2c1b6f]

Updating: preparing for the release of ATS2-0.3.9

Hongwei Xi committed [8401c4]

Updating: preparing for the release of ATS2-0.3.9

Hongwei Xi committed [516f4b]

Updating: very very minorly

Hongwei Xi committed [5fb289]

Updating: very very minorly

Hongwei Xi committed [28f0cd]

Updating: very very minorly

Hongwei Xi committed [4fa296]

Updating: very very minorly

Hongwei Xi committed [7d070f]

Updating: very very minorly

ats2-lang released /ats2-lang/ats2-postiats-0.3.8/ATS2-Postiats-0.3.8.tgz

ats2-lang released /ats2-lang/ats2-postiats-0.3.8/ats2-postiats-0.3.8-release.html

ats2-lang released /ats2-lang/ats2-postiats-0.3.8/ATS2-Postiats-include-0.3.8.tgz

ats2-lang released /ats2-lang/ats2-postiats-0.3.8/ATS2-Postiats-contrib-0.3.8.tgz

Hongwei Xi committed [0c5c1b]

Updating: very very minorly

Hongwei Xi committed [f90c57]

Updating: very very minorly

Hongwei Xi committed [e3a173]

Updating: very very minorly

Hongwei Xi committed [52d2b6]

Updating: very very minorly

Hongwei Xi committed [7649f0]

Updating: very very minorly

Hongwei Xi committed [536dd2]

Updating: ATS2-0.3.8 is ready for release

Hongwei Xi committed [eea101]

Updating: very very minorly