Changes between Version 7 and Version 8 of BackendState


Ignore:
Timestamp:
Jan 8, 2008, 10:47:54 AM (16 years ago)
Author:
jeffc
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • BackendState

    v7 v8  
    106106=== Result invariants === #result_invariants
    107107
    108  * Eventually [#result_server_state server_state] = OVER.
     108 * Eventually [#result_server_state server_state] = OVER (5).
    109109 * Output files are eventually deleted.
    110110