Changes between Version 17 and Version 18 of CurrentlyProposedLanguage


Ignore:
Timestamp:
Nov 5, 2010 4:33:04 PM (13 years ago)
Author:
sunshine
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • CurrentlyProposedLanguage

    v17 v18  
    140140  The above means that all events from m1 must happen before any events from m2.
    141141
    142    '''Invariants'''
     142  '''Invariants'''
    143143
    144144   This section defines additional invariants - those that cannot be derived from logical topology and timeline of events sections above.