欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
JDEE
来自开放百科 - 灰狐
JDEE is a software package that interfaces Emacs to command-line Java development tools (for example, JavaSoft's JDK).
Features
- JDEE menu with compile, run, debug, build, browse, project, and help commands
- syntax coloring
- auto indentation
- compile error to source links
- source-level debugging
- source code browsing
- make file support
- automatic code generation
- Java source interpreter (Pat Neimeyer's BeanShell)
The JDEE supports both Emacs (Unix and Windows versions) and XEmacs. It is freely available under the GNU public license. \
Screenshots
分享您的观点