log

age author description
Fri, 08 Nov 2013 10:55:48 +0100 Doug Simon removed debug value header & footer from non-debug value printing executions
Thu, 07 Nov 2013 20:55:13 +0100 Christian Humer Merge.
Thu, 07 Nov 2013 20:47:11 +0100 Christian Humer Truffle: some regression fixes to previous cleanup