[mercury-users] Upload 0.12.1? Op/3-enhanced 0.12.2 at logicaltypes.com

[doug.auclair at logicaltypes.com]

Dear all,

Tomorrow I am removing the mac/sun binary distributions for 0.12.1 from my site (http://www.logicaltypes.com).  Do you wish me to upload those distributions to your site?  If so, how?

I am removing the 0.12.1 binary distributions from my site tomorrow to make room for the mac and sun op/3-enhanced binary distributions.  These distributions are a strict superset of the published Mercury 0.12.2 functionality -- for those who wish to work with the standard 0.12.2 Mercury system (and optionally use this additional functionality (explained at my site)), please feel free to download from there.  Also, if the Mercury team wishes to have these distributions for the central repository, I'll be happy (exstatic, actually, these archives are not small) to upload them to your site.

Sincerely,
Doug Auclair

--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------