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
