[m-dev.] scripting language for term browsing

David Glen JEFFERY dgj at cs.mu.OZ.AU
Fri Jun 25 16:42:46 AEST 1999


On 24-Jun-1999, David Glen JEFFERY <dgj at cs.mu.OZ.AU> wrote:
> 
> I have a tarball of all the stuff we did in 440... I will sort out what is
> important and post it here for posterity.

It turns out that it is too big to post here, so you can download the 440
SDD, SRS and user docs from:
	http://www.cs.mu.oz.au/~dgj/440_debugger_doc.tar.gz


dgj
-- 
David Jeffery (dgj at cs.mu.oz.au) | If your thesis is utterly vacuous
PhD student,                    | Use first-order predicate calculus.
Dept. of Comp. Sci. & Soft. Eng.|     With sufficient formality
The University of Melbourne     |     The sheerist banality
Australia                       | Will be hailed by the critics: "Miraculous!"
                                |     -- Anon.
--------------------------------------------------------------------------
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