Notational Conventions

• int-man-not-mod: Goal Templates and Mode Annotations
• int-man-not-exa: Examples
• int-man-not-osd: Operating System Dependencies