jEdit

E1997091 UNEXPLORED

jEdit is a free, open-source programmer’s text editor written in Java, known for its extensibility through a rich plugin ecosystem and cross-platform support.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (2)

Label	Occurrences
jEdit canonical	1
jEdit text editor	1

Referenced by (2)

Full triples — surface form annotated when it differs from this entity's canonical label.

Isabelle/jEdit → basedOn → jEdit ⓘ

Isabelle/jEdit → uses → jEdit text editor ⓘ

linked to: jEdit