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