From: Christiaan Baaij <baaijcpr@wlan228123.mobiel.utwente.nl>
Date: Mon, 1 Mar 2010 10:22:34 +0000 (+0100)
Subject: Fixed some formatting in acronyms. Switched a sentence in introduction about clash... 
X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Fdsd-paper.git;a=commitdiff_plain;h=625d485c2e173816014fc1605504a25e26cb96c2;hp=625d485c2e173816014fc1605504a25e26cb96c2

Fixed some formatting in acronyms. Switched a sentence in introduction about clash being limited to synchronous models
---