Downloading Mango

oscar_lopez_p oscar_lopez_p at
Mon Jun 28 08:21:44 UTC 2004

I wrote an email to Ole Agesen, he pointed me to this mirror:

I was able to download Mango from that site.

The only modification I had to make for running the code, was changing
all references to `unixFile' to `os_file'

More information about the Self-interest mailing list