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