dovresti seguire i consigli dell' altra discussione:
dare un estensione che il browser interpreti come sconosciuta (e quindi da scaricare), oppure mandare header opportuni dal server perchè si attivi il download

in alternativa, solo con IE puoi provare così,
apri il .txt in un iframe nascosto a cui dai id="iframe_nascosto"
il link x il download
codice:
salva
ciao