[m-dev.] Re: [mercury-users] lex updates?

[Holger Krug]

On Thu, Oct 04, 2001 at 06:04:09PM +1000, Ralph Becket wrote:
> I've obtained and applied the appropriate patches and checked
> in the changes (again!)
> 
> Pray God this it works this time.
> 
> Holger, could you let me know if you can see the correct (updated)
> version of lex?

It works !

-- 
Holger Krug
hkrug at rationalizer.com
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------