[m-rev.] diff/for review: announce 0.12.2 release on website
Julien Fischer
juliensf at cs.mu.OZ.AU
Fri Jan 27 16:05:15 AEDT 2006
Estimated hours taken: 1
Branches: main
w3/RELEASE_INFO:
w3/download/limitations.php3:
w3/download/release-0.12-contents.php3:
w3/download/include/release-0.12-bugs.inc:
w3/download/include/release-0.12-contents.inc:
w3/download/include/release-0.12.inc:
w3/download/include/release.inc:
w3/new/newsdb.inc:
Announce 0.12.2 release on the website.
(Note: since there isn't yet a Windows installer for 0.12.2 I've left
a link to the one for 0.12.1 there).
Julien.
Index: RELEASE_INFO
===================================================================
RCS file: /home/mercury1/repository/w3/RELEASE_INFO,v
retrieving revision 1.7
diff -u -r1.7 RELEASE_INFO
--- RELEASE_INFO 5 Dec 2005 06:48:12 -0000 1.7
+++ RELEASE_INFO 25 Jan 2006 06:32:23 -0000
@@ -1,10 +1,10 @@
# A descriptive name for the release. See mercury/VERSION
-RELEASE_VERSION=0.12.1
+RELEASE_VERSION=0.12.2
# 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.
-NEXT_BETA_VERSION=0.12.2-beta
+NEXT_BETA_VERSION=
# The CVS tag of the release branch.
# This is used to check out the documentation sources.
Index: download/limitations.php3
===================================================================
RCS file: /home/mercury1/repository/w3/download/limitations.php3,v
retrieving revision 1.2
diff -u -r1.2 limitations.php3
--- download/limitations.php3 23 Mar 2001 23:35:16 -0000 1.2
+++ download/limitations.php3 27 Jan 2006 04:59:40 -0000
@@ -1,7 +1,7 @@
<HTML>
<?
$menu="Download";
- $title="Limitation of the current release";
+ $title="Limitations of the current release";
$dir="download";
$root="..";
$include="limitations.inc";
Index: download/release-0.12-contents.php3
===================================================================
RCS file: /home/mercury1/repository/w3/download/release-0.12-contents.php3,v
retrieving revision 1.1
diff -u -r1.1 release-0.12-contents.php3
--- download/release-0.12-contents.php3 9 Sep 2005 05:20:06 -0000 1.1
+++ download/release-0.12-contents.php3 27 Jan 2006 04:59:26 -0000
@@ -2,7 +2,7 @@
<?
$menu="Download";
$submenu="Current Release";
- $title="Release 0.12.0 Contents";
+ $title="Release 0.12.2 Contents";
$dir="download";
$root="..";
$include="release-0.12-contents.inc";
Index: download/include/release-0.12-bugs.inc
===================================================================
RCS file: /home/mercury1/repository/w3/download/include/release-0.12-bugs.inc,v
retrieving revision 1.2
diff -u -r1.2 release-0.12-bugs.inc
--- download/include/release-0.12-bugs.inc 23 Nov 2005 03:50:26 -0000 1.2
+++ download/include/release-0.12-bugs.inc 25 Jan 2006 06:35:14 -0000
@@ -1,4 +1,4 @@
-<h2>Release 0.12.1 - Known Problems</h2>
+<h2>Release 0.12.2 - Known Problems</h2>
Bug reports should be sent to mercury-bugs at cs.mu.oz.au.
If you're reporting more than one bug, please use separate emails
Index: download/include/release-0.12-contents.inc
===================================================================
RCS file: /home/mercury1/repository/w3/download/include/release-0.12-contents.inc,v
retrieving revision 1.2
diff -u -r1.2 release-0.12-contents.inc
--- download/include/release-0.12-contents.inc 23 Nov 2005 03:50:26 -0000 1.2
+++ download/include/release-0.12-contents.inc 25 Jan 2006 06:38:13 -0000
@@ -1,4 +1,4 @@
-<h2>Release 0.12.1 - Contents</h2>
+<h2>Release 0.12.2 - Contents</h2>
The Mercury distribution is split into three parts.
The "mercury-compiler" distribution contains:
Index: download/include/release-0.12.inc
===================================================================
RCS file: /home/mercury1/repository/w3/download/include/release-0.12.inc,v
retrieving revision 1.2
diff -u -r1.2 release-0.12.inc
--- download/include/release-0.12.inc 23 Nov 2005 03:50:26 -0000 1.2
+++ download/include/release-0.12.inc 25 Jan 2006 06:44:28 -0000
@@ -1,3 +1,7 @@
+<h2>New in release 0.12.2 of the Mercury distribution</h2>
+
+This release fixes some bugs with `mmc --make' and `--smart-recompilation'.
+
<h2>New in release 0.12.1 of the Mercury distribution</h2>
This release is primarily a bug-fix release.
Index: download/include/release.inc
===================================================================
RCS file: /home/mercury1/repository/w3/download/include/release.inc,v
retrieving revision 1.41
diff -u -r1.41 release.inc
--- download/include/release.inc 11 Jan 2006 09:02:09 -0000 1.41
+++ download/include/release.inc 27 Jan 2006 04:52:24 -0000
@@ -60,19 +60,19 @@
?>
<h2><a name="info">Current Release</a></h2>
-Mercury 0.12.1 was released on November 21, 2005.
+Mercury 0.12.2 was released on January 25, 2006.
<h3>Information</h3>
<ul>
<li> <a href = "release-0.12.html">
- Release notes for 0.12.1
+ Release notes for 0.12.2
</a>
<li> <a href = "release-0.12-contents.html">
- Contents of release 0.12.1 distribution
+ Contents of release 0.12.2 distribution
</a>
<li> <a href = "release-0.12-bugs.html">
- Known problems with release 0.12.1
+ Known problems with release 0.12.2
</a>
<li> <a href = "limitations.html">
Limitations of the current release.
@@ -202,22 +202,22 @@
<dl>
<dt> Compiler (15 Mb)
<dd>
-<? links_to_file("mercury-compiler-0.12.1.tar.gz", "yes") ?>
+<? links_to_file("mercury-compiler-0.12.2.tar.gz", "yes") ?>
<p>
<dt> Extras (22 Mb)
<dd>
-<? links_to_file("mercury-extras-0.12.1.tar.gz", "no") ?>
+<? links_to_file("mercury-extras-0.12.2.tar.gz", "no") ?>
<p>
<dt> Tests (914 kb)
<dd>
-<? links_to_file("mercury-tests-0.12.1.tar.gz", "no") ?>
+<? links_to_file("mercury-tests-0.12.2.tar.gz", "no") ?>
</dl>
<h3><a name="binaries">Binary Distributions</a></h3>
-<h4>Windows Installer</h4>
+<h4>Windows Installer for Mercury 0.12.1</h4>
The Windows installer package includes the Mercury compiler and
debugger, but not mmake (instead use `mmc --make'). It also includes
Index: news/newsdb.inc
===================================================================
RCS file: /home/mercury1/repository/w3/news/newsdb.inc,v
retrieving revision 1.90
diff -u -r1.90 newsdb.inc
--- news/newsdb.inc 10 Dec 2005 14:16:56 -0000 1.90
+++ news/newsdb.inc 27 Jan 2006 04:54:19 -0000
@@ -22,6 +22,12 @@
$newsdb = array(
+"25 January 2006" => array("Mercury 0.12.2 released",
+
+"Release information is available
+<A HREF=\"./download/release.html\">here</A>."
+),
+
"11 December 2005" => array("Three new papers",
"Three new papers titled
--------------------------------------------------------------------------
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