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
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!
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
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
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