diff -r 06d533a24713 -r 3bb94256e0ed src/Doc/JEdit/document/theories.png
Binary file src/Doc/JEdit/document/theories.png has changed