Editing an SML-IF document

To open the SML-IF editor, double-click an SMl-IF document in the workspace. The SML-IF editor automatically opens.

• Viewing or editing identity information
  Use the SML-IF editor to view or edit identity information.
• Viewing or editing definitions and instances
  An SML-IF document can contain definitions and instances.