This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
http://lists.w3.org/Archives/Public/www-style/2011Jul/0138.html
This is covered in the second paragraph of '3.2 The animation-name property'