Index of /CompLangs/Isabelle2023/contrib/jedit-20211103/jedit5.6.0-patched/jEdit/org/gjt/sp/jedit/icons/themes/tango/16x16/emblem
Parent Directory
emblem-favorite.png
emblem-important.png
emblem-photos.png
emblem-readonly.png
emblem-symbolic-link.png
emblem-system.png
emblem-unreadable.png