[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