Index of /CompLangs/Isabelle2023/contrib/jedit-20211103/jedit5.6.0-patched/jEdit/.idea/libraries
Parent Directory
Compile_Dependencies.xml
Runtime_Dependencies.xml
Test_Dependencies.xml