What file formats are supported?

Google Mini supports over 220 different file formats http://www.google.com/enterprise/mini/fileformats.html, including HTML, PDF, Microsoft Office, and others.