Index of /CompLangs/Isabelle2023/contrib/jedit-20211103/jedit5.6.0-patched/jEdit/.idea
Parent Directory
.name
ant.xml
compiler.xml
copyright/
encodings.xml
libraries/
misc.xml
modules.xml
projectCodeStyle.xml
runConfigurations/
uiDesigner.xml
vcs.xml