欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
DeStar
来自开放百科 - 灰狐
（版本间的差异）
| 第3行： | 第3行： | ||
*http://destar.berlios.de/ | *http://destar.berlios.de/ | ||
*http://destar.berlios.de/manual/ | *http://destar.berlios.de/manual/ | ||
| + | *http://docs.huihoo.com/destar/ | ||
| + | *http://download.huihoo.com/destar/ | ||
==Screenshots== | ==Screenshots== | ||
[[Image:destar_administration.png|thumb|left]] [[Image:destar_statistics.png|thumb|left]] [[Image:destar_useractions.png|thumb|left]] | [[Image:destar_administration.png|thumb|left]] [[Image:destar_statistics.png|thumb|left]] [[Image:destar_useractions.png|thumb|left]] | ||
2008年8月10日 (日) 00:57的版本
DeStar is a web front end for the open source PBX Asterisk, based on Quixote.
- http://destar.berlios.de/
- http://destar.berlios.de/manual/
- http://docs.huihoo.com/destar/
- http://download.huihoo.com/destar/
Screenshots
分享您的观点
