> since when does ftp://ftp.arin.net/info/asn.txt contain dotted AS numbers?

32 bit ASNs

> Where is the new formatting documented, asn.h ?

many locations, arin for instance talks about it here:

http://www.arin.net/policy/nrpm.html#five1

--
--tariq