8 commits

Author	SHA1	Message	Date
jjgarcia	51d19c15ee	Do not produce documentation	2004-01-09 13:56:43 +00:00
jjgarcia	1d2c4cd6f0	Add more files from GMP 4.1.2	2003-10-30 10:39:24 +00:00
jjgarcia	18c39a126f	GMP 4.1.2	2003-10-27 10:58:08 +00:00
jjgarcia	d23b00464f	GMP 4.1.2	2003-10-27 10:15:51 +00:00
jjgarcia	0496b8620d	GMP 4.0 imported.	2001-12-13 14:16:16 +00:00
jjgarcia	3024126138	GMP 4.0 commited	2001-12-13 13:56:47 +00:00
jjgarcia	04a2836cb0	GNU GMP 4.0 commited	2001-12-13 11:07:56 +00:00
jjgarcia	2d8d0cd44b	Initial revision	2001-06-26 17:14:44 +00:00