Index of /CompLangs/Isabelle2023/contrib/jedit-20211103/jedit5.6.0-patched/jEdit/org/gjt/sp/jedit/icons/themes/tango/16x16/actions
Parent Directory
document-close.png
document-new.png
document-open.png
document-print-preview.png
document-print.png
document-properties.png
document-save-all.png
document-save-as.png
document-save.png
edit-copy.png
edit-cut.png
edit-delete.png
edit-find-replace.png
edit-find.png
edit-paste.png
edit-redo.png
edit-select-all.png
edit-undo.png
folder-new.png
group-collapse.png
group-expand.png
list-add.png
list-remove.png
media-playback-stop.png
media-record.png
process-stop.png
view-refresh.png
window-new.png