Hola:
Nos encontramos con el mismo problema, porque javascript solo puede leer datos enviados por el método get, pero no puede generar ficheros. Eso solo se hace con un lenguaje de servidor... puede ser java tal vez, pero deberían ser páginas jsp... y no parece que sepas (por lo que veo) si lo puedes usar... por lo pronto, si dispusieses de php existe la librería fpdf para generar pdf's, y un txt lo puede generar sin librería alguna, pero tampoco sé si dispones de php.
Saludos
