I would advise you to validate your robots.txt just for peace of mind.

Last thing you want to do is stop the spiders from indexing your content.

Here's a good tool: http://www.searchengineworld.com/cgi-bin/robotcheck.cgi