[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