# HG changeset patch
# User wenzelm
# Date 1741731015 -3600
# Node ID 01657d88ab40b501422fda9d87415452f24a1198
# Parent  9cbc848d263fff35eabe1a6af90048520c010db6
update screenshots for Isabelle2025: very minor deviations of content;

diff -r 9cbc848d263f -r 01657d88ab40 src/Doc/JEdit/document/auto-tools.png
Binary file src/Doc/JEdit/document/auto-tools.png has changed
diff -r 9cbc848d263f -r 01657d88ab40 src/Doc/JEdit/document/bibtex-mode.png
Binary file src/Doc/JEdit/document/bibtex-mode.png has changed
diff -r 9cbc848d263f -r 01657d88ab40 src/Doc/JEdit/document/cite-completion.png
Binary file src/Doc/JEdit/document/cite-completion.png has changed
diff -r 9cbc848d263f -r 01657d88ab40 src/Doc/JEdit/document/document-panel.png
Binary file src/Doc/JEdit/document/document-panel.png has changed
diff -r 9cbc848d263f -r 01657d88ab40 src/Doc/JEdit/document/isabelle-jedit.png
Binary file src/Doc/JEdit/document/isabelle-jedit.png has changed
diff -r 9cbc848d263f -r 01657d88ab40 src/Doc/JEdit/document/markdown-document.png
Binary file src/Doc/JEdit/document/markdown-document.png has changed
diff -r 9cbc848d263f -r 01657d88ab40 src/Doc/JEdit/document/ml-debugger.png
Binary file src/Doc/JEdit/document/ml-debugger.png has changed
diff -r 9cbc848d263f -r 01657d88ab40 src/Doc/JEdit/document/output-and-state.png
Binary file src/Doc/JEdit/document/output-and-state.png has changed
diff -r 9cbc848d263f -r 01657d88ab40 src/Doc/JEdit/document/output-including-state.png
Binary file src/Doc/JEdit/document/output-including-state.png has changed
diff -r 9cbc848d263f -r 01657d88ab40 src/Doc/JEdit/document/output.png
Binary file src/Doc/JEdit/document/output.png has changed
diff -r 9cbc848d263f -r 01657d88ab40 src/Doc/JEdit/document/popup1.png
Binary file src/Doc/JEdit/document/popup1.png has changed
diff -r 9cbc848d263f -r 01657d88ab40 src/Doc/JEdit/document/popup2.png
Binary file src/Doc/JEdit/document/popup2.png has changed
diff -r 9cbc848d263f -r 01657d88ab40 src/Doc/JEdit/document/query.png
Binary file src/Doc/JEdit/document/query.png has changed
diff -r 9cbc848d263f -r 01657d88ab40 src/Doc/JEdit/document/scope1.png
Binary file src/Doc/JEdit/document/scope1.png has changed
diff -r 9cbc848d263f -r 01657d88ab40 src/Doc/JEdit/document/scope2.png
Binary file src/Doc/JEdit/document/scope2.png has changed
diff -r 9cbc848d263f -r 01657d88ab40 src/Doc/JEdit/document/sidekick-document.png
Binary file src/Doc/JEdit/document/sidekick-document.png has changed
diff -r 9cbc848d263f -r 01657d88ab40 src/Doc/JEdit/document/sidekick.png
Binary file src/Doc/JEdit/document/sidekick.png has changed
diff -r 9cbc848d263f -r 01657d88ab40 src/Doc/JEdit/document/sledgehammer.png
Binary file src/Doc/JEdit/document/sledgehammer.png has changed
diff -r 9cbc848d263f -r 01657d88ab40 src/Doc/JEdit/document/theories.png
Binary file src/Doc/JEdit/document/theories.png has changed