[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