The ATS PL System Activity
Unleashing the potentials of types and templates
Status: Beta
Brought to you by:
ats-hwxi
Activity for The ATS PL System
-
Hongwei Xi committed [r3515]
Adding the AUP book.
-
Updating: missing manual files added
-
Updating: fixing tigerats
-
autom4te.cache directory is kept in repository but removed by cleanall
-
cleanall target misses myatscc, myatscc_env.sh and libatsopt.a
-
Fails to build on x32
-
No problem. The code here is mostly copied/generated from the code in https://github.com/githwxi/ATS-Postiats
-
James Clarke modified a comment on ticket #7
Thanks; I realise this is ats-lang not ats2-lang but the patch is for ats2-lang (not sure how I opened the wrong one), sorry about that!
-
Thanks; I realise this is ats-lang not ats2-lang but the patch is for ats2-lang (not sure how I opened the wront wone), sorry about that!
-
Anonymous posted a comment on ticket #8
Thanks. I have taken care it.
-
Thanks. I have taken care of this.
-
Thanks! I have taken care of this.
-
autom4te.cache directory is kept in repository but removed by cleanall
-
cleanall target misses myatscc, myatscc_env.sh and libatsopt.a
-
Fails to build on x32
-
Updating: very very minorly
-
Updating: very minorly fixing
-
Updating: very minorly
-
Updating: very minorly tidying-up
-
Updating: very minorly improving
-
The ATS PL System released /ats-lang/anairiats-latest/ats-lang-anairiats-0.2.12.tgz
-
Updating: very minorly improving
-
Updating: very minorly improving
-
Updating: very minorly tidying-up
-
Updating: very minorly tidying-up
-
Updating: very minorly fixing
-
Updating: very minorly improving
-
Updating: very minorly improving
-
Updating: very minorly tidying-up
-
Updating: very minorly tidying-up
-
Updating: very minorly improving
-
Updating: very minorly improving
-
very minorly addition
-
very minorly tidying-up
-
Updating: minorly fixing
-
Updating: fixing: some == changed into memcpy
-
Updating INTPROGINTATSpub
-
1 committed [r3491]
Updating: releasing ats-lang-anairiats-0.2.12
-
-
-
Updating: minor change: adding absvt@ype for ab...
-
Updating: tidying-up prelude/array.sats
-
Updating: very minorly fixing
-
Updating: very minorly fixing
-
Updating: fixing some warnings
-
Updating: very minorly fixing
-
Updating: very minorly fixing
-
Updating: very minorly fixing
-
Updating: very minorly tidying-up
-
Updating: very minorly improving
-
-
-
-
-
Updating: tidying-up some Makefiles
-
Updating: tidying-up some Makefiles
-
Updating: very minorly improving
-
Updating: minorly improving
-
Updating: minorly updating
-
-
-
Updating: keeping bootstrap0-geizella up-to-date
-
Updating: keeping bootstrap0-geizella up-to-date
-
Updating: keeping bootstrap0-geizella up-to-date
-
Updating: cleaning up
-
Updating: cleaning up
-
Updating: cleaning up
-
Updating: re-creating bootstrap0-anairiats
-
Updating: re-creating bootstrap0-geizella
-
Updating: replacing symbolic links with reals
-
Updating: keeping ATS1/Geizella up-to-date
-
Updating: keeping links up-to-date
-
Updating: minorly improving atslangweb
-
Updating: improving atslangweb
-
Updating: improving atslangweb
-
Updating: very minorly fixing
-
Updating: generally improving
-
Updating: minorly improving
-
Updating: minorly improving
-
Updating: generally improving
-
Updating: adding a link
-
Updating: very minorly improving
-
Updating: generally improving
-
Updating: fixing a typo
-
Updating: minorly improving
-
Updating: very minor changes
-
Updating: minorly improving
-
Updating: minorly updating
-
Updating: minorly updating
-
Updating: minorly improving
-
Updating: releasing ATS2-0.0.7
-
Updating: minorly tidying-up
-
Updating: correcting: GPL 2.1 -> LGPL 2.1
-
Updating: GPL 2.1 -> LGPL 2.1
-
Updating: adding ATSMODELCHECK-14
-
Updating: adding ATSMODELCHECK-14
-
-
Updating: tidying-up
-
Updating: minorly tidying-up
-
Updating: HX-2013-12-22: keeping it up-to-date
1 >
