欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
EasyEclipse for Python
来自开放百科 - 灰狐
EasyEclipse for Python是基于Eclipse,面向python的开发平台。
包含如下组件:
核心组件:
Eclipse Platform 3.2.1 Eclipse Tools 3.2.1 Java for Windows 1.5.0.09-01 Java for Linux 1.5.0.09-01
面向python开发的插件:
PyDev 1.2.5 - 编辑、运行、调试和重构python和Jython。 Subclipse 1.1.9 -Eclipse平台上的图形化SVN版本控制工具。
面向java开发的组件:
Eclipse Java Development Tools 3.2.1 - Edit, compile, run, debug, test, refactor, document and deploy Java applications - Getting started.
Some essential utilities: AnyEdit Tools 1.5.6.2 Eclipse Utils Plugins Color Editor 1.2.4
分享您的观点