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