diff -r b1e3a4d88f13 -r 371945eb6d31 doc/vym.pdf Binary file doc/vym.pdf has changed