Changes between Version 8 and Version 9 of PromotWishlist


Ignore:
Timestamp:
Jan 16, 2009, 4:19:16 PM (17 years ago)
Author:
anonymous
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • PromotWishlist

    v8 v9  
    1313    and enhance the usability.
    1414    This would be especially useful for dynamical models because of a lack of predefined classes.
     15
     16== Export to CNA ==
     17
     18  * '''Add a boolean property 'monoton' to a gate:''' The property 'monoton' should be exportable from ProMoT so that the user does not have to modify this property in CNA.