# HG changeset patch
# User wenzelm
# Date 1506001021 -7200
# Node ID ace3cf4e1fbd2a7c18959d9439b1c1c3b391b499
# Parent  01189e46dc554c093d602667a2ea31df158518a3
updated screenshots;

diff -r 01189e46dc55 -r ace3cf4e1fbd src/Doc/JEdit/document/output-and-state.png
Binary file src/Doc/JEdit/document/output-and-state.png has changed
diff -r 01189e46dc55 -r ace3cf4e1fbd src/Doc/JEdit/document/output-including-state.png
Binary file src/Doc/JEdit/document/output-including-state.png has changed
diff -r 01189e46dc55 -r ace3cf4e1fbd src/Doc/JEdit/document/output.png
Binary file src/Doc/JEdit/document/output.png has changed
diff -r 01189e46dc55 -r ace3cf4e1fbd src/Doc/JEdit/document/theories.png
Binary file src/Doc/JEdit/document/theories.png has changed