Index of /CompLangs/Isabelle2023/contrib/jedit-20211103/jedit5.6.0-patched/jEdit/org/gjt/sp/jedit/icons/themes/tango
Parent Directory
10x10/
16x16/
22x22/
32x32/
Blank24.gif
ToolbarMenu.gif
about.png
arrow-asc.png
arrow-desc.png
dock_layout1.png
dock_layout2.png
dock_layout3.png
dock_layout4.png
loader.gif