I don't know what Jeremy used, but I use Screenflow. It's very cool, and very effective.