ATS1-0.2.11 was released more than one year ago.
Today I made a new package of ATS1 to include various
minor additions and fixes accumulated during the past year.
This new package is given the version ATS1-0.2.12.
From this point on, please use ATS1-0.2.12 to bootstrap ATS2.
Cheers!
–Hongwei
PS: If you use ATS1-0.2.12, please make sure that you
set ATSHOMERELOC to ATS-0.2.12 (not ATS1-0.2.12).
PPS: I will shortly release ATS2-0.1.7 for use during Spring 2015.