diff --git a/doc/ka10_doc.doc b/doc/ka10_doc.doc index 2e3131c..caa1002 100644 Binary files a/doc/ka10_doc.doc and b/doc/ka10_doc.doc differ diff --git a/doc/ki10_doc.doc b/doc/ki10_doc.doc index 74c8861..06a99b2 100644 Binary files a/doc/ki10_doc.doc and b/doc/ki10_doc.doc differ diff --git a/doc/pdp6_doc.doc b/doc/pdp6_doc.doc index ec54375..e5f6c2d 100644 Binary files a/doc/pdp6_doc.doc and b/doc/pdp6_doc.doc differ