欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
BaasBox/developer
来自开放百科 - 灰狐
（版本间的差异）
(以“BaasBox 开发者 ==Eclipse== git clone https://github.com/baasbox/baasbox cd baasbox play [BaasBox] $ eclipse with-source=true 在 Eclipse 从 File/Import/...”为内容创建页面) |
小 (→Eclipse) |
||
| 第2行： | 第2行： | ||
==Eclipse== | ==Eclipse== | ||
| + | 使用 [[Scala IDE]] | ||
git clone https://github.com/baasbox/baasbox | git clone https://github.com/baasbox/baasbox | ||
cd baasbox | cd baasbox | ||
2016年4月26日 (二) 09:33的版本
BaasBox 开发者
目录 |
Eclipse
使用 Scala IDE
git clone https://github.com/baasbox/baasbox cd baasbox play [BaasBox] $ eclipse with-source=true
在 Eclipse 从 File/Import/General/Existing project 导入刚才的项目
更多细节：Setting up your preferred IDE
IDEA
图集
链接
分享您的观点
