开发者工具如何切换公共库，或下载历史版本

最新的开发工具还是存在一些问题，现在想切换回1.3公共库，但是找不到设置的地方。 官网上也找不到历史版本下载的链接。