[PURRS-devel] purrs/infrastructure README patch_ginac-1.0.4

[Roberto Bagnara]

CVSROOT:	/cvs/purrs
Module name:	purrs
Changes by:	roberto at cs.unipr.it	2002-01-27 15:47:34

Added files:
	infrastructure : README patch_ginac-1.0.4 

Log message:
	Put under CVS control.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/infrastructure/README.diff?cvsroot=purrs&r1=NONE&r2=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/infrastructure/patch_ginac-1.0.4.diff?cvsroot=purrs&r1=NONE&r2=1.1