factor

Author	SHA1	Message	Date
John Benediktsson	f3e1dc5b98	Use "map-sum" instead of "map sum".	2012-04-25 13:18:21 -07:00
Slava Pestov	c1792d169e	Remove some stuff from unmaintained, and put some extra stuff there	2009-03-07 01:38:50 -06:00