| <?xml version="1.0" encoding="UTF-8" ?> |
| <introContent> |
| <extensionContent id="org.eclipse.efm.ui.intro.tutorials" name="EFM Tutorials" alt-style="css/tutorials.properties" style="css/tutorials.css" path="tutorials/@"> |
| <group label="Eclipse Formal Modeling" id="org.eclipse.efm.ui.intro.tutorial-group" style-id="content-group"> |
| <link label="Getting Started with Model-based testing with Thermostat example" |
| id="im-tutorial-getting-started" |
| style-id="content-link" |
| url="http://org.eclipse.ui.intro/showStandby?partId=org.eclipse.platform.cheatsheet&input=org.eclipse.efm.tutorial.thermostat.cheatsheet" > |
| <text>This tutorial provides an introduction into the symbolic modeling framework and offline testing process.</text> |
| </link> |
| </group> |
| </extensionContent> |
| </introContent> |
