Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Last revision Both sides next revision | ||
prom65 [2016/11/02 09:20] hverbeek [Virtual Machine] |
prom65 [2016/11/02 09:21] hverbeek [Running ProM 6.5] |
||
---|---|---|---|
Line 53: | Line 53: | ||
Later on, you may decide to add some extra packages to the set of installed packages, or to remove some. To do so, simply start the **ProM 6.5 Package Manager**, install and/or remove packages, and stop the **ProM 6.5 Package Manager**. The following start of **ProM 6.5** should show the plug-ins contained in the newly installed packages, or should not show those in the removed packages. | Later on, you may decide to add some extra packages to the set of installed packages, or to remove some. To do so, simply start the **ProM 6.5 Package Manager**, install and/or remove packages, and stop the **ProM 6.5 Package Manager**. The following start of **ProM 6.5** should show the plug-ins contained in the newly installed packages, or should not show those in the removed packages. | ||
+ | <html> | ||
+ | <!-- | ||
===== Running ProM 6.5 ===== | ===== Running ProM 6.5 ===== | ||
Line 58: | Line 60: | ||
* On WIndows, you can do this by double-clicking the **ProM65.bat** file in the folder where you have installed ProM 6.5. | * On WIndows, you can do this by double-clicking the **ProM65.bat** file in the folder where you have installed ProM 6.5. | ||
* On Linux and Mac OS X, you can do this by starting a shell or terminal, going to the folder where you have unpacked the archive, and by running the **ProM65.sh** file. On Mac OS X, please do not double click the **Prom65.sh** file, as this starts **Xcode** to edit the file instead of running it. | * On Linux and Mac OS X, you can do this by starting a shell or terminal, going to the folder where you have unpacked the archive, and by running the **ProM65.sh** file. On Mac OS X, please do not double click the **Prom65.sh** file, as this starts **Xcode** to edit the file instead of running it. | ||
+ | --> | ||
+ | </html> | ||
<html> | <html> |