Index of /CompLangs/Isabelle2023/contrib/jedit-20211103/jedit5.6.0-patched/jEdit/org/gjt/sp/jedit/icons/themes/tango/22x22/apps
Parent Directory
help-browser.png
internet-web-browser.png
system-file-manager.png
system-installer.png
utilities-terminal.png