[m-dev.] trivial diff: fix HAL link on web page

[Mark Anthony BROWN]

Index: applications.inc
===================================================================
RCS file: /home/mercury1/repository/w3/include/applications.inc,v
retrieving revision 1.2
diff -u -r1.2 applications.inc
--- applications.inc	1999/09/20 08:16:40	1.2
+++ applications.inc	1999/12/20 03:43:39
@@ -6,7 +6,7 @@
 <UL>
 <LI> <A HREF="http://www.cs.mu.oz.au/~winikoff/pipe/animate.html">Animating Z
         specifications using Mercury</A>
-<LI> <A HREF="http://www.cs.mu.oz.au/research/groups/clp/hal.html">The
+<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>

-- 
Mark Brown, PhD student            )O+  |  "Another of Fortran's breakthroughs
(m.brown at cs.mu.oz.au)                   |  was the GOTO statement, which was...
Dept. of Computer Science and Software  |  uniquely simple and understandable"
Engineering, University of Melbourne    |              -- IEEE, 1994
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------