diff --git a/exppl2e.pdf b/exppl2e.pdf index 0517460..74e6f13 100644 Binary files a/exppl2e.pdf and b/exppl2e.pdf differ diff --git a/platex-en.pdf b/platex-en.pdf index 986e4e1..d7432e0 100644 Binary files a/platex-en.pdf and b/platex-en.pdf differ diff --git a/platex.pdf b/platex.pdf index d8a6072..3c3c77b 100644 Binary files a/platex.pdf and b/platex.pdf differ diff --git a/platexrelease.pdf b/platexrelease.pdf index 158c448..210dba1 100644 Binary files a/platexrelease.pdf and b/platexrelease.pdf differ diff --git a/pldoc.pdf b/pldoc.pdf index 27be4bf..83d015f 100644 Binary files a/pldoc.pdf and b/pldoc.pdf differ