[m-rev.] diff: documentation for 0.12.2 release

[Julien Fischer]

Estimated hours taken: 0.5
Branches: release

.README.in:
HISTORY:
NEWS:
RELEASE_NOTES:
	Update documentation for the 0.12.2 release.

Julien.

Index: .README.in
===================================================================
RCS file: /home/mercury1/repository/mercury/.README.in,v
retrieving revision 1.14.2.1
diff -u -r1.14.2.1 .README.in
--- .README.in	3 Oct 2005 12:53:40 -0000	1.14.2.1
+++ .README.in	23 Jan 2006 05:40:11 -0000
@@ -2,7 +2,7 @@
 Mercury compiler, version @VERSION at .

 	The Mercury implementation is free software, but it is Copyright
-	(C) 1993-2003 The University of Melbourne.  It is distributed
+	(C) 1993-2006 The University of Melbourne.  It is distributed
 	under the terms of the GNU General Public License.  See the file
 	COPYING for copying permission.

Index: HISTORY
===================================================================
RCS file: /home/mercury1/repository/mercury/HISTORY,v
retrieving revision 1.25.2.2
diff -u -r1.25.2.2 HISTORY
--- HISTORY	21 Nov 2005 06:19:33 -0000	1.25.2.2
+++ HISTORY	25 Jan 2006 02:56:35 -0000
@@ -2442,6 +2442,9 @@
 Mercury 0.12.1, November 21, 2005
 ---------------------------------

+Mercury 0.12.2, Janurary 25, 2006
+---------------------------------
+
 See the NEWS file.

 .NET CLR back-end history
Index: NEWS
===================================================================
RCS file: /home/mercury1/repository/mercury/NEWS,v
retrieving revision 1.370.2.9
diff -u -r1.370.2.9 NEWS
--- NEWS	21 Nov 2005 06:19:33 -0000	1.370.2.9
+++ NEWS	25 Jan 2006 02:51:33 -0000
@@ -1,5 +1,11 @@
+
+NEWS for Mecury 0.12.2
+----------------------
+
+This release fixes some bugs with `mmc --make' and `--smart-recompilation'.
+
 NEWS for Mercury 0.12.1
-------------------------
+-----------------------

 This release is primarily a bug-fix release.
 It fixes a problem with predicates that have existentially typed
Index: RELEASE_NOTES
===================================================================
RCS file: /home/mercury1/repository/mercury/RELEASE_NOTES,v
retrieving revision 1.30.4.3
diff -u -r1.30.4.3 RELEASE_NOTES
--- RELEASE_NOTES	21 Nov 2005 06:19:33 -0000	1.30.4.3
+++ RELEASE_NOTES	25 Jan 2006 02:55:27 -0000
@@ -1,5 +1,5 @@

-We are pleased to announce the release of version 0.12.1 of the Mercury system.
+We are pleased to announce the release of version 0.12.2 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

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