log

age author description
Mon, 09 May 2011 19:12:45 +0200 Thomas Wuerthinger Fixed typo.
Mon, 09 May 2011 17:28:10 +0200 Thomas Wuerthinger Incorporated comments from Peter. Renamings trap=>guard and guard/split=>anchor.
Mon, 09 May 2011 17:10:30 +0200 Lukas Stadler added FrameStateAccess interface