欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Opera 11 下一代产品即将到来
Opera 11 将支持扩展。Opera的扩展功能类似于其它浏览器，它们的扩展将很容易移植到Opera。Opera Extensions将强调开放标准。
Extensions管理
Configurator扩展
<discussion>characters_max=300</discussion>
