欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Red Hat Network
来自开放百科 - 灰狐
（版本间的差异）
| 第1行： | 第1行： | ||
| − | + | [[Image:RHN_desktop.jpg|right|thumb]] | |
| − | + | ||
==文档== | ==文档== | ||
*[http://www.huihoo.com/gnu_linux/redhat/RHNetwork/RHN-reference-en-3.6/index.html Red Hat Network 3.6 Reference Guide] | *[http://www.huihoo.com/gnu_linux/redhat/RHNetwork/RHN-reference-en-3.6/index.html Red Hat Network 3.6 Reference Guide] | ||
2007年1月30日 (二) 10:30的版本
文档
分享您的观点
