[m-rev.] diff: update webpage for 11.07.1 release

Julien Fischer juliensf at csse.unimelb.edu.au
Fri Mar 2 00:42:12 AEDT 2012


Update the webpage for the 11.07.1 release.

w3/RELEASE_INFO:
 	The stable release is now 11.07.1.

 	Disable beta downloads.

w3/include/download.inc:
 	Disable beta downloads.

w3/download/include/release-11.07-bugs.inc:
w3/download/include/release-11.07-contents.inc:
w3/download/include/release-11.07.inc:
w3/download/include/release.inc:
 	Update release information for 11.07.1.

w3/news/newsdb.inc:
 	Announce the release.

 	Fix a spelling error in a previous entry.

Julien.

Index: RELEASE_INFO
===================================================================
RCS file: /home/mercury/mercury1/repository/w3/RELEASE_INFO,v
retrieving revision 1.25
diff -u -r1.25 RELEASE_INFO
--- RELEASE_INFO	12 Jan 2012 05:17:37 -0000	1.25
+++ RELEASE_INFO	1 Mar 2012 13:12:05 -0000
@@ -1,12 +1,12 @@
  # A descriptive name for the release. See mercury/VERSION
-RELEASE_VERSION=11.07
+RELEASE_VERSION=11.07.1

  # A name for the next beta-release, e.g. 0.12.2-beta
  # Note: only set this variable to a non-empty value if a source distribution
  # for the next beta release is being built.
  # NOTE: you also need to update the value of next_beta_version in
  # include/download.inc when you modify this.
-NEXT_BETA_VERSION=11.07.1-beta
+NEXT_BETA_VERSION=

  # The CVS tag of the release branch.
  # This is used to check out the documentation sources.
Index: download/include/release-11.07-bugs.inc
===================================================================
RCS file: /home/mercury/mercury1/repository/w3/download/include/release-11.07-bugs.inc,v
retrieving revision 1.1
diff -u -r1.1 release-11.07-bugs.inc
--- download/include/release-11.07-bugs.inc	22 Dec 2011 03:50:56 -0000	1.1
+++ download/include/release-11.07-bugs.inc	1 Mar 2012 13:34:32 -0000
@@ -1,4 +1,4 @@
-<h2>Release 11.07 - Known Problems</h2>
+<h2>Release 11.07.1 - Known Problems</h2>

  A list of known bugs may be found in our
  <a href="http://bugs.mercury.csse.unimelb.edu.au">Bug Database</a>.
Index: download/include/release-11.07-contents.inc
===================================================================
RCS file: /home/mercury/mercury1/repository/w3/download/include/release-11.07-contents.inc,v
retrieving revision 1.1
diff -u -r1.1 release-11.07-contents.inc
--- download/include/release-11.07-contents.inc	22 Dec 2011 03:50:56 -0000	1.1
+++ download/include/release-11.07-contents.inc	1 Mar 2012 13:34:18 -0000
@@ -1,4 +1,4 @@
-<h2>Release 11.07 - Contents</h2>
+<h2>Release 11.07.1 - Contents</h2>

  The Mercury distribution is split into three parts.
  The "mercury-compiler" distribution contains:
Index: download/include/release-11.07.inc
===================================================================
RCS file: /home/mercury/mercury1/repository/w3/download/include/release-11.07.inc,v
retrieving revision 1.1
diff -u -r1.1 release-11.07.inc
--- download/include/release-11.07.inc	22 Dec 2011 03:50:56 -0000	1.1
+++ download/include/release-11.07.inc	1 Mar 2012 13:33:54 -0000
@@ -1,3 +1,23 @@
+<h2>New in release 11.07.1 of the Mercury distribution</h2>
+
+<p>
+This is a bug-fix release.  It fixes a problem that was preventing the standard
+library from building in the csharp grade on Cygwin and also adds support for
+using GCC in C99 (or GNU99) mode with Mercury.  In addition, there are a number
+of minor changes to the standard library.
+
+<p>
+Changes to the Mercury standard library:
+
+<ul>
+<li>We have added the predicate map.keys_and_values/3.
+
+<li>We have added the predicates set.is_singleton/2, set_bbbtree.is_singleton/2,
+set_ctree234.is_singleton/2 and set_unordlist.is_singleton/2.
+
+<li>We have added the function list.foldl_corresponding/4.
+</ul>
+
  <h2>New in release 11.07 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.54
diff -u -r1.54 release.inc
--- download/include/release.inc	22 Dec 2011 03:50:56 -0000	1.54
+++ download/include/release.inc	1 Mar 2012 13:17:54 -0000
@@ -60,7 +60,7 @@
  ?>
  <h2><a name="info">Current Release</a></h2>

-Mercury 11.07 was released on December 22, 2011.
+Mercury 11.07.1 was released on March 2, 2012.

  <h3>Information</h3>

@@ -181,17 +181,17 @@
  <dl>
  <dt> Compiler (25 Mb)
  <dd> 
-<? links_to_file("mercury-compiler-11.07.tar.gz", "yes") ?>
+<? links_to_file("mercury-compiler-11.07.1.tar.gz", "yes") ?>
  <p>

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

  <dt> Tests (1 Mb)
  <dd>
-<? links_to_file("mercury-tests-11.07.tar.gz", "no") ?>
+<? links_to_file("mercury-tests-11.07.1.tar.gz", "no") ?>
  </dl>

  <h3><a name="binaries">Binary Distributions</a></h3>
Index: include/download.inc
===================================================================
RCS file: /home/mercury/mercury1/repository/w3/include/download.inc,v
retrieving revision 1.15
diff -u -r1.15 download.inc
--- include/download.inc	12 Jan 2012 05:17:37 -0000	1.15
+++ include/download.inc	1 Mar 2012 13:11:58 -0000
@@ -1,5 +1,5 @@
  <H2>How to get Mercury</H2>
-<? $next_beta_version="11.07.1-beta" ?>
+<? $next_beta_version="" ?>

  The Mercury compiler is free software, and is distributed under the
  terms of the GNU General Public License.
Index: news/newsdb.inc
===================================================================
RCS file: /home/mercury/mercury1/repository/w3/news/newsdb.inc,v
retrieving revision 1.134
diff -u -r1.134 newsdb.inc
--- news/newsdb.inc	3 Feb 2012 06:58:42 -0000	1.134
+++ news/newsdb.inc	1 Mar 2012 13:40:30 -0000
@@ -21,7 +21,12 @@
  */

  $newsdb = array(
-"28th Janurary 2012" => array("New paper",
+"2nd March 2012" => array("Mercury 11.07.1 released",
+"Release information is available
+<a href=\"./download/release-11.07.html\">here</A>."
+),
+
+"28th January 2012" => array("New paper",
  "
  A new paper and presentation have been added to the
  <a href=\"information/papers.html#loop_control\">papers page</a>.

--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the reviews mailing list