
28 Jan
2004
28 Jan
'04
5:58 p.m.
CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto@cs.unipr.it 2004-01-28 17:58:29
Added files: interfaces/OCaml: gmp.h
Log message: Hacked version of the main C header file of GMP 4.1.2. This is to get around some bugs and limitations of SWIG 1.3.21.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/gmp.h?cvsroot...