jEdit is a mature and well-designed programmer's text editor, written in pure Java.

-- MichaelNedzelsky - 31 Jul 2005

TopicClassification MizarTools

ImplementationDate? N/A
Topic attachments
I Attachment Action Size Date Who Comment
xmlxml mizar.xml manage 3.8 K 2005-07-31 - 13:47 MichaelNedzelsky Mizar syntax highlighting mode for jEdit
Topic revision: r2 - 2006-10-23 - 21:32:52 - JosefUrban
Mizar TWiki
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback