Fixed some formatting in acronyms. Switched a sentence in introduction about clash...
authorChristiaan Baaij <baaijcpr@wlan228123.mobiel.utwente.nl>
Mon, 1 Mar 2010 10:22:34 +0000 (11:22 +0100)
committerChristiaan Baaij <baaijcpr@wlan228123.mobiel.utwente.nl>
Mon, 1 Mar 2010 10:22:34 +0000 (11:22 +0100)
commit625d485c2e173816014fc1605504a25e26cb96c2
treed583db2aa52975e0a3283df82871ccdf29996a7d
parentc1c6081ec7a5c09f9becd1faf332dbc746f50c94
Fixed some formatting in acronyms. Switched a sentence in introduction about clash being limited to synchronous models
cλash.lhs