Notice: this Wiki will be going read only early in 2024 and edits will no longer be possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.
File:HenshinStateSpaceProperties.png
HenshinStateSpaceProperties.png (441 × 328 pixels, file size: 23 KB, MIME type: image/png)
Screenshot of the properties dialog in the Henshin state space explorer.
File history
Click on a date/time to view the file as it appeared at that time.
Date/Time | Thumbnail | Dimensions | User | Comment | |
---|---|---|---|---|---|
current | 09:15, 19 June 2012 | 441 × 328 (23 KB) | Eclipse Webmaster (Talk | contribs) | Screenshot of the properties dialog in the Henshin state space explorer. |
- You cannot overwrite this file.
File usage
The following page links to this file: