[m-rev.] for review: web site changes for Aditi
Fergus Henderson
fjh at cs.mu.OZ.AU
Fri Oct 18 04:21:44 AEST 2002
For review by stayl.
Branches: main
Estimated hours taken: 0.25
Update the web pages to reflect the fact that Aditi 2 is now officially
released.
w3/include/backends.inc:
Move the Aditi back-end stuff from the "Under development:" section
to the "Released, but still alpha- or beta-release quality:" section.
w3/information/include/papers.inc:
Uncomment the entries for Aditi-related papers.
Workspace: /home/ceres/fjh/mercury
Index: w3/include/backends.inc
===================================================================
RCS file: /home/mercury1/repository/w3/include/backends.inc,v
retrieving revision 1.1
diff -u -d -r1.1 backends.inc
--- w3/include/backends.inc 28 Mar 2001 12:28:58 -0000 1.1
+++ w3/include/backends.inc 17 Oct 2002 18:13:00 -0000
@@ -65,11 +65,7 @@
<dd>
This back-end compiles to assembler, using the GCC back-end.
</dd>
-</dl>
-<p>
-<li><i>Under development:</i>
<p>
-<dl>
<dt><a name="aditi" href="http://www.cs.mu.oz.au/research/aditi/">
<b>Aditi.</b></a></dt>
<dd>
@@ -77,7 +73,11 @@
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>
<p>
+<dl>
<dt><a name="java"><b>Java.</b></a></dt>
<dd>
This one still needs a lot of work.
Index: w3/information/include/papers.inc
===================================================================
RCS file: /home/mercury1/repository/w3/information/include/papers.inc,v
retrieving revision 1.38
diff -u -d -r1.38 papers.inc
--- w3/information/include/papers.inc 16 Oct 2002 04:32:58 -0000 1.38
+++ w3/information/include/papers.inc 17 Oct 2002 18:10:34 -0000
@@ -442,13 +442,6 @@
Kotagiri Ramamohanarao and Zoltan Somogyi.
<em>Tech Report 96/45</em>, Melbourne, 1996.
-</ul>
-
-<?
-/*---------------------------------------------------------------------------*/
-/* The aditi interface is not useful yet. */
-if (0) {
-?>
<li>
<strong>
<a href = "papers.html#tr90-2">
@@ -460,11 +453,9 @@
David B. Kemp and Kotagiri Ramamohanarao and Zoltan Somogyi.
<br>
<em>Tech Report 90/2</em>, Melbourne, 1997.
-<?
-}
-/*---------------------------------------------------------------------------*/
-?>
+</ul>
+
<h3><a href = "papers.html#presentations">Presentations</a></h3>
<ul>
@@ -1710,20 +1701,11 @@
interface.
</a>
-<?
-/*---------------------------------------------------------------------------*/
-/* The aditi interface is not useful yet. */
-if (0) {
-?>
The same kind of approach is also used in
the Mercury interface to the Aditi deductive
database system (see the "Aditi deductive database interface"
section in Mercury Language Reference Manual listed under
"Implementation dependent pragmas" in the "Pragmas" chapter).
-<?
-}
-/*---------------------------------------------------------------------------*/
-?>
<p>
<ul>
@@ -1747,12 +1729,6 @@
with cover page.
</a>
-<?
-/*---------------------------------------------------------------------------*/
-/* The aditi interface is not useful yet. */
-if (0) {
-?>
-
<a name="tr90-2">
The following paper is also relevant to the Aditi interface mentioned above.
It describes a source-to-source transformation implemented in the
@@ -1783,11 +1759,6 @@
available here (560K).
</a>
-<?
-}
-/*---------------------------------------------------------------------------*/
-?>
-
</ul>
<hr>
--
Fergus Henderson <fjh at cs.mu.oz.au> | "I have always known that the pursuit
The University of Melbourne | of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh> | -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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