[m-rev.] for review: documentation for 0.12.1

[Julien Fischer]

Estimated hours taken: 0.5
Branches: release

HISTORY:
NEWS:
	Update these files for 0.12.1.

RELEASE_NOTES:
	Update this file for 0.12.1 and mention that Mercury
	also works on Solaris 9 (0.12 did as well but we forgot
	to mention it.)

Julien.

Index: HISTORY
===================================================================
RCS file: /home/mercury1/repository/mercury/HISTORY,v
retrieving revision 1.25.2.1
diff -u -r1.25.2.1 HISTORY
--- HISTORY	8 Sep 2005 03:10:44 -0000	1.25.2.1
+++ HISTORY	21 Nov 2005 04:36:00 -0000
@@ -2439,6 +2439,9 @@
 Mercury 0.12, September 9, 2005
 -------------------------------

+Mercury 0.12.1, November 21, 2005
+---------------------------------
+
 See the NEWS file.

 .NET CLR back-end history
Index: NEWS
===================================================================
RCS file: /home/mercury1/repository/mercury/NEWS,v
retrieving revision 1.370.2.8
diff -u -r1.370.2.8 NEWS
--- NEWS	8 Sep 2005 03:10:45 -0000	1.370.2.8
+++ NEWS	21 Nov 2005 04:32:22 -0000
@@ -1,3 +1,14 @@
+NEWS for Mercury 0.12.1
+------------------------
+
+This release is primarily a bug-fix release.
+It fixes a problem with predicates that have existentially typed
+arguments, makes sure that I/O tabling does not inadvertently
+inline predicates that have a `:- pragma no_inline' declaration
+attached to them, and makes various improvements to the MS-Windows
+ports.
+
+
 NEWS for Mercury 0.12
 ---------------------

Index: RELEASE_NOTES
===================================================================
RCS file: /home/mercury1/repository/mercury/RELEASE_NOTES,v
retrieving revision 1.30.4.2
diff -u -r1.30.4.2 RELEASE_NOTES
--- RELEASE_NOTES	9 Sep 2005 07:08:51 -0000	1.30.4.2
+++ RELEASE_NOTES	21 Nov 2005 04:37:51 -0000
@@ -1,5 +1,5 @@

-We are pleased to announce the release of version 0.12 of the Mercury system.
+We are pleased to announce the release of version 0.12.1 of the Mercury system.

 Mercury is a modern general-purpose programming language, designed and
 implemented by a small group of researchers at the University of
@@ -142,7 +142,7 @@
 extensions, and will work in their absence.

 The current Mercury system has been tested on Linux (x86),
-Solaris 8 (x86), MacOS X (PowerPC), and Windows (x86).
+Solaris 8 and Solaris 9 (x86), MacOS X (PowerPC), and Windows (x86).
 For Windows, we have have tested this release only on Windows XP Pro
 but it should also run fine on Windows 95, 98, ME, NT, and 2000.


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