Package edu.wis.jtlv.env.ui.wizards

Class Summary
JTLVProjectWizard This is a new wizard for creating a JTLV project.
NewSMVFileWizard This is a sample new wizard.
NewSMVFileWizardPage The "New" wizard page allows setting the container for the new file as well as the file name.
NewSPCFileWizard This is a sample new wizard.
NewSPCFileWizardPage The "New" wizard page allows setting the container for the new file as well as the file name.