diff -r 0f2271678dea -r c56ce5d81cc3 doc/vym.pdf Binary file doc/vym.pdf has changed