欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
odoo 文档
bzr branch lp:~openerp-community/openobject-doc/6.1
bzr branch lp:~openerp-community/openobject-doc/6.0
bzr branch lp:~openerp-community/openobject-doc/5.0