Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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>​
  • Show page