diff --git a/doc/BOB v0.1.2.pdf b/doc/BOB v0.1.2.pdf
new file mode 100644
index 0000000..e2efb16
Binary files /dev/null and b/doc/BOB v0.1.2.pdf differ