3 Commits (b4193ac50bdf73b5b886415f1e198750b6f16b10)

Author	SHA1	Message	Date
Slava Pestov	aea0fed14c	Fixing basis -> extra dependencies	2008-09-05 19:29:14 -05:00
Doug Coleman	3b3435acb5	remove old fp-infinity?	2008-09-03 01:37:50 -05:00
Doug Coleman	c30a6511d1	move db to basis	2008-09-02 18:26:31 -05:00