You should neither run A2(1.1) nor A2(1.2)
Go to the latest version A2(1.4a).
Read the documentation and release-notes.
You will see we fixed quite a lot of bugs since A2(1.2)...so why take the risk to run into those bugs by staying in A2(1.2).
Maybe the tac person made a type and wanted to say A2(1.3) ???
G.