Changes between Version 11 and Version 12 of ProfileEditor
- Timestamp:
- 06/15/22 16:28:28 (2 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
ProfileEditor
v11 v12 4 4 You can download the latest ready-to-run profile editor right from the [http://artifactory.ewi.tudelft.nl/artifactory/webapp/#/artifacts/browse/simple/General/libs-release-local/geniusweb/domaineditor artifactory]. Select the latest version and download the domaineditor-XXX.jar-with-dependencies.jar. Then double click the jar to run it (or run {{{java -jar domaineditor-XXX.jar-with-dependencies.jar}}}) 5 5 6 After startup you should get a window looking like this6 After startup and opening an existing profile you should get a window looking like this 7 7 [[Image(profileeditor.png)]] 8 8