Added section on marker-based testing
diff --git a/org.eclipse.photran-dev-docs/dev-guide/dev-guide-specialized.pdf b/org.eclipse.photran-dev-docs/dev-guide/dev-guide-specialized.pdf
index 0436cbd..a5ee800 100644
--- a/org.eclipse.photran-dev-docs/dev-guide/dev-guide-specialized.pdf
+++ b/org.eclipse.photran-dev-docs/dev-guide/dev-guide-specialized.pdf
Binary files differ