[m-rev.] [www] for review: update references to Aditi on papers page

[Julien Fischer]

For review by anyone.

--------------------

Update references to Aditi on papers page.

documentation/include/papers.inc:
     As above.

Julien.

diff --git a/documentation/include/papers.inc b/documentation/include/papers.inc
index 9862d27..1441230 100644
--- a/documentation/include/papers.inc
+++ b/documentation/include/papers.inc
@@ -4122,11 +4122,8 @@ interface.
  </a>
  </p>
  <p>
-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).
+The same kind of approach was also used in the Mercury interface to the Aditi
+deductive database system.

  </p>
  <ul class="nonindentlist">
@@ -4156,7 +4153,7 @@ with cover page.
  <p>
  <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
+It describes a source-to-source transformation that was implemented in the
  Mercury compiler.
  </a>