Asumu Takikawa f30215edcd Update HISTORY ... Please merge to v6.0 (cherry picked from commit 8c6cf7395d)		2013-12-23 11:54:15 -05:00
..
collects	Update HISTORY	2013-12-23 11:54:15 -05:00
src	Revert "fix reducing arity or chaperoning keyword-valued prop:procedure"	2013-12-17 23:25:15 -05:00
.gitignore	configure installation of man pages	2013-07-22 13:21:09 -06:00