К сожалению, Flash Pro не имеет редактируемой настройки, указывающей на AIR SDK, который он использует, поэтому вам нужно перескочить в его папки и перезаписать SDK, который он поставлял. Внутри вашего установочного каталога Flash CS5 должна быть папка с именем AIR2.6. Вы хотите создать резервную копию этого файла и поместить новый SDK в то же место (с именем папки AIR2.6), и Flash начнет использовать новый SDK.
Другая вещь, которую вы захотите сделать, - это поместить обновленную airglobal.swc в папки установки, чтобы получить подсказку кода AIR3.1. См. Инструкции на на этой странице , в которых описывается, как обновить среду IDE до Flash 11, но процесс для AIR аналогичен, за исключением того, что вы обновляете airglobal.swc вместо playerglobal.swc. Вы также можете создать несколько новых профилей публикации AIR3, аналогично инструкциям на этой странице для Flash 11.
Это немного утомительно, но если кто-то не сделает .mxp для обновления для AIR, я не уверен, что есть более простой способ. Удачи!