Opera在今天发布了Opera Mini浏览器的4.2新版，虽然在说明中Opera介绍了不少关于Opera的改进点，但是更为关键的一点是，这是Opera Mini浏览器首次正式登录Google Android平台。

根据发布介绍，最新版本的Opera Mini 4.2版本速度上远超上一版本，速度获得优化的主因是，Opera Mini首先通过代理访问Opera的服务器，让服务器来“压缩”网页，并发送“减肥”后的代码至手机。

另外，改进的视频流特性，已经可定制皮肤都是Opera Mini的改进特色之一。可以正常使用上一版程序Opera Mini的手机用户完全可以升级至新版，而Google Android手机G1也被增加到支持列表中。

实际上，相比Opera Mini，另一款浏览器Opera Mobile在功能上更加强大，对于强大的Android平台来说，Opera Mobile可能是最好的选择。有迹象表示，Opera正在开发另一种版本的Opera Mobile以应对Android平台，不过在此之前，Android平台可供选择的Opera浏览器仅有Opera Mini。

今年早些时候放出的供Android模拟器使用的Opera Mini

• 1
• 挖它!