Changes between Version 14 and Version 15 of PromotDevelopment


Ignore:
Timestamp:
Oct 16, 2008, 10:26:37 AM (17 years ago)
Author:
mirschel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • PromotDevelopment

    v14 v15  
    3131Is discussed in OpenLogicalModel.
    3232
     33== Automated Tests for ProMoT code ==
     34
     35Tests are described in PromotUnitTests.
     36
     37== Help System for ProMoT ==
     38
     39Is discussed in PromotHelpSystem.
     40
    3341
    3442----