[m-rev.] diff: remove Aditi backend from webpage

Julien Fischer juliensf at cs.mu.OZ.AU
Tue Jun 20 17:53:13 AEST 2006


Estimated hours taken: 0.1

w3/include/backends.inc:
w3/include/menubar.inc:
	Remove Aditi from the list of compiler backends on the webpage.

Julien.

Index: include/backends.inc
===================================================================
RCS file: /home/mercury1/repository/w3/include/backends.inc,v
retrieving revision 1.4
diff -u -r1.4 backends.inc
--- include/backends.inc	5 Feb 2004 02:03:05 -0000	1.4
+++ include/backends.inc	20 Jun 2006 07:47:56 -0000
@@ -65,14 +65,6 @@
 	<dd>
 	This back-end compiles to assembler, using the GCC back-end.
 	</dd>
-<p>
-        <dt><a name="aditi" href="http://www.cs.mu.oz.au/research/aditi/">
-	<b>Aditi.</b></a></dt>
-	<dd>
-	Mercury is the source language for version 2 of the Aditi
-	deductive database system.  The Mercury compiler has a back-end
-	that generates Aditi's RL (Relational Language) bytecodes.
-	</dd>
 </dl>
 <p>
 <li><i>Under development:</i>
Index: include/menubar.inc
===================================================================
RCS file: /home/mercury1/repository/w3/include/menubar.inc,v
retrieving revision 1.21
diff -u -r1.21 menubar.inc
--- include/menubar.inc	5 Aug 2005 07:50:38 -0000	1.21
+++ include/menubar.inc	20 Jun 2006 07:48:22 -0000
@@ -86,7 +86,6 @@
     <a href="<?echo $root?>/download/release-0.10.html#hlc">High-level C</a><BR>
     <a href="<?echo $root?>/dotnet.html">Microsoft .NET</a><BR>
     <a href="<?echo $root?>/download/gcc-backend.html">Native code</a><BR>
-    <a href="http://www.cs.mu.oz.au/research/aditi/">Aditi</a><BR>
     <a href="<?echo $root?>/backends.html#java">Java</a><BR>
     <a href="<?echo $root?>/backends.html#bytecode">Mercury Bytecode</a><BR>
 </SMALL>

--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the reviews mailing list