[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