[m-rev.] diff: www: improvements for applications page

[Simon Taylor]

Estimated hours taken: 0.25

w3/include/applications.inc:
	Add a link to the Aditi web site.
	Use a link with more information about HAL.
	Fix a dead link.

Index: include/applications.inc
===================================================================
RCS file: /home/mercury1/repository/w3/include/applications.inc,v
retrieving revision 1.3
diff -u -u -r1.3 applications.inc
--- include/applications.inc	1999/12/20 03:49:10	1.3
+++ include/applications.inc	2001/04/05 11:51:22
@@ -4,10 +4,11 @@
 <a href="mailto:mercury at cs.mu.oz.au">mercury at cs.mu.oz.au</a>.
 
 <UL>
-<LI> <A HREF="http://www.cs.mu.oz.au/~winikoff/pipe/animate.html">Animating Z
+<LI> <A HREF="http://www.csse.monash.edu.au/~mbanda/hal/index.html">The
+	HAL Project</A>
+<LI> <A HREF="http://www.cs.mu.oz.au/aditi">The Aditi Project</A>
+<LI> <A HREF="http://www.winikoff.net/pipe/index.html">Animating Z
         specifications using Mercury</A>
-<LI> <A HREF="http://www.cs.mu.oz.au/research/groups/dl/hal.html">The
-        Hal Project</A>
 <LI> <A HREF="http://svrc.it.uq.edu.au/Possum/">Possum, an animator for Z
 specifications with a Tk GUI</A>
 </UL>
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------