diff -r 7a96bd401351 -r 42c8cf6dd1c3 doc/vym.pdf Binary file doc/vym.pdf has changed