# HG changeset patch
# User wenzelm
# Date 1430432824 -7200
# Node ID 3bcd15f14dcbd0c30dfbd9758070b56553a5eb85
# Parent  022ca2799c731f69451c8b0699cc2b358a5ae23d
updated screenshots;

diff -r 022ca2799c73 -r 3bcd15f14dcb src/Doc/JEdit/document/auto-tools.png
Binary file src/Doc/JEdit/document/auto-tools.png has changed
diff -r 022ca2799c73 -r 3bcd15f14dcb src/Doc/JEdit/document/isabelle-jedit.png
Binary file src/Doc/JEdit/document/isabelle-jedit.png has changed
diff -r 022ca2799c73 -r 3bcd15f14dcb src/Doc/JEdit/document/output.png
Binary file src/Doc/JEdit/document/output.png has changed
diff -r 022ca2799c73 -r 3bcd15f14dcb src/Doc/JEdit/document/popup1.png
Binary file src/Doc/JEdit/document/popup1.png has changed
diff -r 022ca2799c73 -r 3bcd15f14dcb src/Doc/JEdit/document/popup2.png
Binary file src/Doc/JEdit/document/popup2.png has changed
diff -r 022ca2799c73 -r 3bcd15f14dcb src/Doc/JEdit/document/query.png
Binary file src/Doc/JEdit/document/query.png has changed
diff -r 022ca2799c73 -r 3bcd15f14dcb src/Doc/JEdit/document/sidekick.png
Binary file src/Doc/JEdit/document/sidekick.png has changed
diff -r 022ca2799c73 -r 3bcd15f14dcb src/Doc/JEdit/document/sledgehammer.png
Binary file src/Doc/JEdit/document/sledgehammer.png has changed
diff -r 022ca2799c73 -r 3bcd15f14dcb src/Doc/JEdit/document/theories.png
Binary file src/Doc/JEdit/document/theories.png has changed