Try out https://community.jboss.org/en/tools/blog/2013/03/12/lets-go-to-kepler
Benjamin, there are no official standalone binary release of JBoss AS 7.2, only JBoss Enterprise Application Platform 6.1 is based on it - thus we don't have AS 7.2 listed but only list EAP 6.1 there.