欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
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
Links
	分享您的观点