27 Jan
2002
27 Jan
'02
4:18 p.m.
CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto@cs.unipr.it 2002-01-27 17:18:04
Modified files: infrastructure : README
Log message: Explain how to configure GMP.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/infrastructure/README.diff?c...