[m-dev.] for review: mention Possum on www page

David Glen JEFFERY dgj at hydra.cs.mu.oz.au
Mon Sep 20 14:50:19 AEST 1999


Hi all,

How does this look?

=============================================================================

Estimated hours taken: 0.1

w3/include/applications.inc:
	Mention Possum, the Z interpreter announce on mercury-users.

=============================================================================
Index: include/applications.inc
===================================================================
RCS file: /home/staff/zs/imp/w3/include/applications.inc,v
retrieving revision 1.1
diff -u -t -r1.1 applications.inc
--- applications.inc	1998/09/23 02:00:52	1.1
+++ applications.inc	1999/09/20 04:15:00
@@ -8,4 +8,5 @@
         specifications using Mercury</A>
 <LI> <A HREF="http://www.cs.mu.oz.au/research/groups/clp/hal.html">The
         Hal Project</A>
+<LI> <A HREF="http://svrc.it.uq.edu.au/Possum/">Possum, a Z interpreter</A>
 </UL>


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