Differences

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

Link to this comparison view

Both sides previous revision Previous revision
gettingstarted:prom6pmui [2014/08/13 15:55]
hverbeek [ProM 6Package Manager]
gettingstarted:prom6pmui [2014/11/26 16:36] (current)
hverbeek [ProM 6 Package Manager]
Line 17: Line 17:
   ; L : The "Show children"​ button brings you to the "​Selection"​ tab (D) showing the child packages of the (only) selected package, that is, the packages for which the (only) selected package is a parent. Removing a package will also remove its   ; L : The "Show children"​ button brings you to the "​Selection"​ tab (D) showing the child packages of the (only) selected package, that is, the packages for which the (only) selected package is a parent. Removing a package will also remove its
 children. children.
 +  ; M : The memory selection bar lets you select how much memory Java may use for running ProM. If you select, for example, the "4 GB" option, then the next time ProM will start it may use 4 GB of memory.
  
  • Show page