Re: [Savonet-users] Some FFI bugs

[Michael F. <fu...@cs...>]

On Tue, 30 Nov 2004, Samuel Mimram wrote:

> PS: I get 403 (permission denied) when I try to download your paper.
Whoops, that should be fixed now.  Sorry.

> PPS: is there somewhere we can download the tool, even in beta (it might
> be very useful for some other libs we have developed)?
Not yet, but I'm working on putting a (beta) release together.  Look for a
announcement before christmas(probably on caml-list).

-mike