欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
IOS/7
来自开放百科 - 灰狐
iOS 7 全新的UI设计、更加简洁、清爽。
10大新功能
- 向上滑出的新控制中心
- 卡片加图标式所有程序多任务
- 新标签UI的Safari
- AirDrop
- 新增相机滤镜
- 有整年视图可分类归纳的相册
- 功能升级的Siri
- iOS in the car(iOS车载版本)
- 自动更新应用的App Store
- 免费但有广告的iTunes Radio
链接
分享您的观点
