diff -r 96a2f134f0b5 -r 2337a6bc5e41 src/Doc/JEdit/document/theories.png
Binary file src/Doc/JEdit/document/theories.png has changed