updated screenshots;
authorwenzelm
Thu Sep 21 15:37:01 2017 +0200 (19 months ago)
changeset 66684ace3cf4e1fbd
parent 66683 01189e46dc55
child 66685 1b397be63e68
updated screenshots;
src/Doc/JEdit/document/output-and-state.png
src/Doc/JEdit/document/output-including-state.png
src/Doc/JEdit/document/output.png
src/Doc/JEdit/document/theories.png
     1.1 Binary file src/Doc/JEdit/document/output-and-state.png has changed
     2.1 Binary file src/Doc/JEdit/document/output-including-state.png has changed
     3.1 Binary file src/Doc/JEdit/document/output.png has changed
     4.1 Binary file src/Doc/JEdit/document/theories.png has changed