Table of Contents



Menu Action on a Kmelia composite specification in the package list.


  1. The first parameter is the selected component.
  2. The formatting parameters are the settings provided by a Kml2latex.userprefs

see the kml2latex plugin description


The result is a set of images files that illustrate the state space (e.g. deadlock states).

costo/plugins/mecloader.txt · Last modified: 2014/09/08 16:33 (external edit)
Recent changes RSS feed Creative Commons License Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki