PAT has its own domain now: https://pat.comp.nus.edu.sg
The email address is “pat at comp dot nus dot edu dot sg”, replace dot with ‘.’
Send an email to pat to join the mail list to get the update of PAT!
Note: due to the URL change, the auto update function will not working for the old version of PAT.
Please download the new version!