Search Results for "jedit"
Sort By:
jEdit is a programmer's text editor written in Java.
jEdit plugin that opens a file if clicked or in selected text.
Emerald Text Editor is a tabbed text editor with heavy customizability
Eclipse integration for Isabelle proof assistant
Tools to programming with flex & bison.
A collection of jEdit addons in a bundle I consider useful