Asumu Takikawa 3264a7fd61 Better error messages for class/object contracts		2013-10-17 17:57:40 -04:00
..
collects	Better error messages for class/object contracts	2013-10-17 17:57:40 -04:00
src	Fixing broken build and improving error message	2013-10-15 10:53:59 -06:00
.gitignore	configure installation of man pages	2013-07-22 13:21:09 -06:00