[wvxvw]

при изменении в текстовом файле сохранять его под другим имененем, а при загрузке флеша сообщать ему новое имя. Для изменения имени вполне подошло бы использовать дату последнего сохранения.
Ну или просто отдавать эти же данные не в виде тексового файла - а как результат запроса к серверному скрипту.