Hugs libraries

Ross Paterson ross@soi.city.ac.uk
Tue, 10 Dec 2002 19:03:46 +0000


On Mon, Dec 09, 2002 at 09:28:17PM +0000, Alastair Reid wrote:
> Sounds good.  There's a bunch of changes I'd like to make including:
> 
> [...]
> - strip out greencard support since the ffi is sufficient

I think I'd find this one the most useful -- I'm never sure which of
those layers need to keep working.