diff --git a/develop/tex/tamarin-manual.pdf b/develop/tex/tamarin-manual.pdf
index e14dd19..3d34950 100644
Binary files a/develop/tex/tamarin-manual.pdf and b/develop/tex/tamarin-manual.pdf differ