[m-rev.] for review: remove support for `.rt' grades

[Julien Fischer]

On Wed, 25 Jul 2007, Julien Fischer wrote:

>
> Estimated hours taken: 1
> Branches: main
>
> Remove support for the reserve tag (.rt) grades.
> These were only ever needed to support the implementation of Herbrand
> variables in (older versions of) HAL.
>
> NOTE: this change removes the .rt grade, the undocumented
> reserve_tag pragma is unchanged.

I will commit this later today in the absence of any review comments.

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------