[m-dev.] the next release (0.12)

David Overton dmo at cs.mu.OZ.AU
Wed Jul 7 01:07:24 AEST 2004


On Wed, Jul 07, 2004 at 12:32:44AM +1000, Julien Fischer wrote:
> Things that will be deprecated/not supported in 0.12
> ----------------------------------------------------
> 
> * .rt grades (deprecated) (HAL only)

HAL has not used the .rt grade for over a year now.  You can probably
simply remove it.


David
-- 
David Overton
WWW: http://www.overtons.id.au/
Mobile Phone (UK): +44 7799 344 322
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------



More information about the developers mailing list