doc: emphasize the need for isl_int_get_gmp and isl_int_set_gmp
commit2bfb95f15be85c684807c97373f383026b44999b
authorSven Verdoolaege <skimo@kotnet.org>
Sat, 4 Dec 2010 13:47:36 +0000 (4 14:47 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 7 Dec 2010 09:40:16 +0000 (7 10:40 +0100)
tree5310b6442eff31801be7024c296ff99f6faa1315
parent89ee10a4972925da0f1f909eef916f161acd692d
doc: emphasize the need for isl_int_get_gmp and isl_int_set_gmp

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
doc/user.pod