ffp - FFP repository

	Commit message (Expand)	Author	Age	Files	Lines
*	Minor corrections	totycro	2012-05-23	1	-2/+2
*	Only use : instead of ++ for BufferI (constant time instead of linear in the ...	totycro	2012-05-23	1	-2/+2
*	implement missing quickcheck props + tests	manuel	2012-05-22	1	-2/+66
*	totycro said: fix buffer::insert	manuel	2012-05-22	1	-6/+4
*	adding test and some minor fixes	manuel	2012-05-22	1	-6/+60
*	make all tests executable and exit on error	manuel	2012-05-21	1	-2/+13
*	add tests for exercise 7	manuel	2012-05-21	1	-1/+21
*	skeleton for exercise 7	manuel	2012-05-20	1	-0/+19