欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Dyne:bolic GNU/Linux
来自开放百科 - 灰狐
(版本间的差异)
第5行: | 第5行: | ||
==ScreenShots== | ==ScreenShots== | ||
− | [[Image: | + | [[Image:dynebolic_db1a5-shot2.jpg|thumb|left]] [[Image:dynebolic_db1a5-shot3.jpg|thumb|left]] [[Image:dynebolic_db1a5-shot.jpg|thumb|left]] [[Image:dynebolic_grab_apr2004-1.jpg|thumb|left]] [[Image:dynebolic_grab_apr2004-2.jpg|thumb|left]] [[Image:dynebolic_shot-141-1.jpg|thumb|left]] [[Image:dynebolic_shot-20-1.jpg|thumb|left]] |
2007年2月27日 (二) 13:13的版本
Dyne:bolic: a free multimedia studio in a GNU/Linux live CD
ScreenShots
分享您的观点