Changes between Version 125 and Version 126 of LightweightConcurrency

Show
Ignore:
Timestamp:
05/31/12 14:33:06 (12 months ago)
Author:
kc
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • LightweightConcurrency

    v125 v126  
    433433{{{ 
    434434data ResumeToken 
     435 
    435436newResumeToken     :: PTM ResumeToken 
    436437isResumeTokenValid :: ResumeToken -> PTM Bool