欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
模板:Category
来自开放百科 - 灰狐
（版本间的差异）
| 第52行： | 第52行： | ||
|[[File:Redmine-48x48.gif|center]] | |[[File:Redmine-48x48.gif|center]] | ||
|style="font-size:95%;border-top:1px dashed #AAAAAA"|'''[[Groupware|Groupware、PM]]、[[e-Learning]]'''<br /> | |style="font-size:95%;border-top:1px dashed #AAAAAA"|'''[[Groupware|Groupware、PM]]、[[e-Learning]]'''<br /> | ||
| − | [[redMine]] - [[Trac]] - [[GForge]] - [[Teamwork]] - [[Scalix]] - [[eGroupWare]] - [[phpGroupWare]] - [[NetOffice]] - [[ACollab]] - [[Open-Xchange]] - [[Openfire]] - [[Citadel]] - [[Bedework]] - [[Moodle]] - [[Shibboleth]] - [[Dokeos]] - [[ATutor]] - [[Claroline]] - [[OLAT]] - [[Sakai | + | [[redMine]] - [[Trac]] - [[GForge]] - [[Teamwork]] - [[Scalix]] - [[eGroupWare]] - [[phpGroupWare]] - [[NetOffice]] - [[ACollab]] - [[Open-Xchange]] - [[Openfire]] - [[Citadel]] - [[Bedework]] - [[Moodle]] - [[Shibboleth]] - [[Dokeos]] - [[ATutor]] - [[Claroline]] - [[OLAT]] - [[Sakai]] -[[SchoolTool]] |
<!----------------------------------------------> | <!----------------------------------------------> | ||
|- | |- | ||
2010年9月1日 (三) 10:28的版本
</div> </div>
分享您的观点
