log

age author description
Mon, 09 May 2011 19:12:55 +0200 Thomas Wuerthinger Merge.
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.