[m-rev.] diff: announce 0.13.1 release on the webpage

[Julien Fischer]

Announce the release of 0.13.1 on the webpage.

w3/download/release-0.13-bugs.php3:
w3/download/release-0.13-contents.php3:
w3/download/include/release-0.13-contents.inc:
w3/download/include/release-0.13.inc:
w3/news/newsdb.inc:
w3/download/include/release.inc:
 	Update for 0.13.1 release.

Julien.

Index: download/release-0.13-bugs.php3
===================================================================
RCS file: /home/mercury/mercury1/repository/w3/download/release-0.13-bugs.php3,v
retrieving revision 1.1
diff -u -r1.1 release-0.13-bugs.php3
--- download/release-0.13-bugs.php3	15 Sep 2006 04:58:24 -0000	1.1
+++ download/release-0.13-bugs.php3	4 Dec 2006 04:09:22 -0000
@@ -2,7 +2,7 @@
  <?
      $menu="Download";
      $submenu="Current Release";
-    $title="Release 0.13.0 known problems";
+    $title="Release 0.13.1 known problems";
      $dir="download";
      $root="..";
      $include="release-0.13-bugs.inc";
Index: download/release-0.13-contents.php3
===================================================================
RCS file: /home/mercury/mercury1/repository/w3/download/release-0.13-contents.php3,v
retrieving revision 1.1
diff -u -r1.1 release-0.13-contents.php3
--- download/release-0.13-contents.php3	15 Sep 2006 04:58:24 -0000	1.1
+++ download/release-0.13-contents.php3	4 Dec 2006 04:03:46 -0000
@@ -2,7 +2,7 @@
  <?
      $menu="Download";
      $submenu="Current Release";
-    $title="Release 0.13.0 Contents";
+    $title="Release 0.13.1 Contents";
      $dir="download";
      $root="..";
      $include="release-0.13-contents.inc";
Index: download/include/release-0.13-contents.inc
===================================================================
RCS file: /home/mercury/mercury1/repository/w3/download/include/release-0.13-contents.inc,v
retrieving revision 1.1
diff -u -r1.1 release-0.13-contents.inc
--- download/include/release-0.13-contents.inc	15 Sep 2006 04:58:24 -0000	1.1
+++ download/include/release-0.13-contents.inc	4 Dec 2006 04:07:53 -0000
@@ -1,4 +1,4 @@
-<h2>Release 0.13.0 - Contents</h2>
+<h2>Release 0.13.1 - Contents</h2>

  The Mercury distribution is split into three parts.
  The "mercury-compiler" distribution contains:
Index: download/include/release-0.13.inc
===================================================================
RCS file: /home/mercury/mercury1/repository/w3/download/include/release-0.13.inc,v
retrieving revision 1.1
diff -u -r1.1 release-0.13.inc
--- download/include/release-0.13.inc	15 Sep 2006 04:58:25 -0000	1.1
+++ download/include/release-0.13.inc	4 Dec 2006 04:15:03 -0000
@@ -1,3 +1,32 @@
+<h2> New in release 0.13.1 of the Mercury distribution</h2>
+
+This release is primarily a bug-fix release.
+The problems fixed include:
+
+<ul>
+<li> polymorphic insts and mode-specific clauses did not work together.
+<li> polymorphic insts and export pragmas did not work together.
+<li> the compiler was not correctly enforcing the restriction that type
+     variables in instance declarations should be distinct.
+<li> the compiler sometimes performed superclass reduction incorrectly,
+     causing it to reject valid typeclass constraints.
+<li> installation of static archives on Mac OS X using mmc --make now
+     works correctly.  Previously, static archives caused linking problems
+     because the table of contents was not being updated after installation.
+<li> non-exported typeclasses sometimes resulted in incomplete interface
+     files being generated.
+</ul>
+
+<p>
+
+In addition to the above bug-fixes we have the following addition to the 
+standard library.
+
+<ul>
+<li> We have added a new module `rtree', that provides region trees. 
+     These are a standard data structure for querying spatial information.
+</ul>
+
  <h2>New in release 0.13 of the Mercury distribution</h2>

  <h3>HIGHLIGHTS</h3>
Index: download/include/release.inc
===================================================================
RCS file: /home/mercury/mercury1/repository/w3/download/include/release.inc,v
retrieving revision 1.44
diff -u -r1.44 release.inc
--- download/include/release.inc	15 Sep 2006 04:58:25 -0000	1.44
+++ download/include/release.inc	4 Dec 2006 04:09:04 -0000
@@ -60,19 +60,19 @@
  ?>
  <h2><a name="info">Current Release</a></h2>

-Mercury 0.13.0 was released on September 14, 2006.
+Mercury 0.13.1 was released on December 1, 2006.

  <h3>Information</h3>

  <ul>
  <li> <a href = "release-0.13.html">
-     Release notes for 0.13.0
+     Release notes for 0.13.1
       </a>
  <li> <a href = "release-0.13-contents.html">
-     Contents of release 0.13.0 distribution
+     Contents of release 0.13.1 distribution
       </a>
  <li> <a href = "release-0.13-bugs.html">
-     Known problems with release 0.13.0
+     Known problems with release 0.13.1
       </a>
  <li> <a href = "limitations.html">
       Limitations of the current release.
@@ -203,19 +203,19 @@
  <dl>
  <dt> Compiler (15 Mb)
  <dd> 
-<? links_to_file("mercury-compiler-0.13.0.tar.gz", "yes") ?>
+<? links_to_file("mercury-compiler-0.13.1.tar.gz", "yes") ?>
  <p>

  <dt> Extras (750 kb)
  <dd>
-<? links_to_file("mercury-extras-0.13.0.tar.gz", "no") ?>
+<? links_to_file("mercury-extras-0.13.1.tar.gz", "no") ?>
  <p>

  <dt> Tests (914 kb)
  <dd>
-<? links_to_file("mercury-tests-0.13.0.tar.gz", "no") ?>
+<? links_to_file("mercury-tests-0.13.1.tar.gz", "no") ?>
  </dl>

  <h3><a name="binaries">Binary Distributions</a></h3>

-Binary distributions for 0.13.0 are not yet available.
+Binary distributions for 0.13.1 are not yet available.
Index: news/newsdb.inc
===================================================================
RCS file: /home/mercury/mercury1/repository/w3/news/newsdb.inc,v
retrieving revision 1.99
diff -u -r1.99 newsdb.inc
--- news/newsdb.inc	30 Oct 2006 07:32:23 -0000	1.99
+++ news/newsdb.inc	4 Dec 2006 04:02:16 -0000
@@ -22,6 +22,12 @@

  $newsdb = array(

+"1 December 2006" => array("Mercury 0.13.1 released",
+
+"Release information is available
+<A HREF=\"./download/release.html\">here</A>."
+),
+
  "30 October 2006" => array("New paper",

  "We have a new paper available from our

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------