Use a text editor - the format is very simple, hard to get wrong. You can check your robots.txt online at Google Webmaster Tools too. I wrote a much longer reply a few minutes ago, but the forum ate my post!