log

age author description
Mon, 09 May 2011 17:28:10 +0200 Thomas Wuerthinger Incorporated comments from Peter. Renamings trap=>guard and guard/split=>anchor.