diff -r b1e3a4d88f13 -r 513107d1ed59 doc/vym.pdf Binary file doc/vym.pdf has changed