欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Android 3.0 主要用于平板电脑，并为平板用户使用习惯做了优化。
北京时间2月3日2点，谷歌于美国加州山景城举办发布会，宣布Android 3.0 Honeycomb正式发布。新浪报道
你也可以在PC上体验一下 Android 3.0，因为不能自动旋转屏幕，但你可用 Ctrl-F11 来旋转屏幕。
主界面
设置
<discussion>characters_max=300</discussion>
