[m-rev.] diff: mention G12 on Mercury website

[Julien Fischer]

Update the applications page to mention G12.

w3/applications.inc:
 	Mention G12 as a project that uses Mercury.

Julien.

Index: include/applications.inc
===================================================================
RCS file: /home/mercury/mercury1/repository/w3/include/applications.inc,v
retrieving revision 1.4
diff -u -r1.4 applications.inc
--- include/applications.inc	6 Apr 2001 00:24:14 -0000	1.4
+++ include/applications.inc	9 Jul 2007 04:44:15 -0000
@@ -1,9 +1,10 @@
  <H2>Projects using Mercury</H2>

  If you are using Mercury in your project, please contact us at
-<a href="mailto:mercury at cs.mu.oz.au">mercury at cs.mu.oz.au</a>.
+<a href="mailto:mercury at csse.unimelb.edu.au">mercury at csse.unimelb.edu.au</a>.

  <UL>
+<LI> <A HREF="http://www.nicta.com.au/research/projects/constraint_programming_platform">The G12 Constraint Programming Platform</A>
  <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>

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------