• Introduction
• Resources
• Overview
• Summary
• Learning the basics
  • Overview of SML-IF tooling plug-in
    • Overview window
    • Documents window
      • Validate the entire document function
    • Source View window
  • Exporting SML model units into an SML-IF document
  • Importing an SML-IF document to the workspace repository
  • Editing an SML-IF document
    • Viewing or editing identity information
    • Viewing or editing definitions and instances
  • Validating an SML-IF document
  • Validation passed
  • Navigating and fixing a problem
  • Legal