Quando ho cominciato ad utilizzare Flash era arrivato alla versione 5.
Quella versione (come le successive) consentiva l'esportazione di GIF animate.
Non so per le versioni precedenti, ma ritengo che anche quelle avessero tale possibilità.