3 commits

Author	SHA1	Message	Date
Steven Armstrong	27966c058b	+ideas for types ... Signed-off-by: Steven Armstrong <steven@icarus.ethz.ch>	2011-06-24 15:38:34 +02:00
Nico Schottelius	bf0acc2e31	+correction ... Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>	2011-06-24 15:07:29 +02:00
Steven Armstrong	4a9456787c	+log cinst preos ... Signed-off-by: Steven Armstrong <steven@icarus.ethz.ch>	2011-06-24 15:02:20 +02:00