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