diff -r b1e3a4d88f13 -r 48bf777defa8 doc/vym.pdf Binary file doc/vym.pdf has changed