Index of /CompLangs/Isabelle2023/contrib/jedit-20211103/jedit5.6.0-patched/jEdit/org/jedit/localization
Parent Directory
README.html
jedit_cs.props
jedit_de.props
jedit_en.props
jedit_fr.props
jedit_ja.props
jedit_ko.props
jedit_ru.props
jedit_zh-tw.props
jedit_zh.props