About
Mangled version of jEdit for use with Isabelle
Languages
Language:Java 98.9%Language:HTML 0.5%Language:Inno Setup 0.2%Language:Clojure 0.1%Language:Roff 0.1%Language:XSLT 0.1%Language:Shell 0.0%Language:Batchfile 0.0%Language:C++ 0.0%Language:Python 0.0%