Index of /CompLangs/Isabelle2023/contrib/jedit-20211103/jedit5.6.0-patched/jEdit/.idea/runConfigurations
Parent Directory
Remote__5005_.xml
Unit_Tests.xml
Unit_Tests__Code_Coverage_.xml
jEdit.xml
jEdit__Background_Mode_.xml
jEdit__Code_Coverage_.xml