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

[Ian MacLarty]

On Mon, Nov 21, 2005 at 03:44:39PM +1100, Julien Fischer wrote:
> 
> 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.
> +

You should say we now support MinGW.

Otherwise that looks fine.

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