[m-rev.] diff: further HISTORY and NEWS for 0.13

[Julien Fischer]

Estimated hours taken: 0.2
Branches: main, release

Updates and fixes for the HISTORY and NEWS files.

HISTORY:
 	Mention the date of the 0.13 release.
 	Fix the inconsistent formatting of dates throughout this file.
 	Fix some spelling errors.

NEWS:
 	Mention that the Mercury implementation is compatible with gcc 4.1.
 	Mention some changes related to the breakup of std_util.m.

Julien.

Index: HISTORY
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/HISTORY,v
retrieving revision 1.27.2.1
diff -u -r1.27.2.1 HISTORY
--- HISTORY	7 Sep 2006 06:14:42 -0000	1.27.2.1
+++ HISTORY	13 Sep 2006 07:58:35 -0000
@@ -90,8 +90,8 @@
  * There is a new `list__sort/2' which does not remove duplicates.


-Mercury 0.5, 15 Febuary 1996
-----------------------------
+Mercury 0.5, 15 February 1996
+-----------------------------

  * We now support committed choice nondeterminism in a logical and declarative
    fashion, using the new determinism categories `cc_nondet' and `cc_multi'.
@@ -113,7 +113,7 @@
    for backtrackable destructive update.
    See the Mercury Language Reference Manual.

-* We now provide genuinue arrays with destructive update.
+* We now provide genuine arrays with destructive update.
    See the library module `uniq_array'.  (Warning: this has not had
    much testing.  The interface is not yet stable.)

@@ -491,7 +491,7 @@
  * We've improved the compiler's diagnostics a bit.

    Some of the compiler's error messages are a bit more informative, and
-  it catches some errors that previously it missed (such as specifiying
+  it catches some errors that previously it missed (such as specifying
    modes in some but not all of the arguments of a `:- pred' declaration).

  * We have made quite a few changes to the Mercury standard library.
@@ -1193,15 +1193,15 @@
  * Numerous bug fixes.


-Mercury 0.8.1, December 16th 1998
----------------------------------
+Mercury 0.8.1, 16 December 1998
+-------------------------------

  This release just corrected some bugs in the binary
  distribution for 0.8.


-Mercury 0.9, December 18th, 1999
---------------------------------
+Mercury 0.9, 18 December 1999
+-----------------------------

  HIGHLIGHTS
  ==========
@@ -1242,7 +1242,7 @@

  * The Mercury type system now supports existentially quantified types.

-  Existential types let you create heterogenous collections (e.g. lists
+  Existential types let you create heterogeneous collections (e.g. lists
    containing objects of different types).  In combination with type
    classes, they allow you to write code in an OOP-like style.
    See the "Existential types" chapter of the Mercury Language Reference
@@ -1277,7 +1277,7 @@
    Previously, the exact quantification rule for lambda expressions was
    not documented, but the compiler would locally quantify variables in
    function return values, and it would only locally quantify variables
-  occuring at the top level of an argument term, not those occurring in
+  occurring at the top level of an argument term, not those occurring in
    subterms.  Both of these were rather surprising for functional
    programmers.

@@ -1481,8 +1481,8 @@
  * Numerous bug fixes.


-Mercury 0.9.1, January 26th, 2000
----------------------------------
+Mercury 0.9.1, 26 January 2000
+------------------------------

  This release is primarily a bug-fix release.
  It fixes some bugs with the binary distribution of 0.9,
@@ -1508,8 +1508,8 @@
  compiled itself using the MLDS back-end on 12 May 2000.


-Mercury 0.10, February 25th, 2001
----------------------------------
+Mercury 0.10, 25 February 2001
+------------------------------

  HIGHLIGHTS

@@ -1846,8 +1846,8 @@
    will work with Vi as well).  Do `mtags --help' for more information.


-Mercury 0.10.1, April 3rd, 2001
--------------------------------
+Mercury 0.10.1, 3 April 2001
+----------------------------

  This is mainly a bug-fix release.

@@ -1856,8 +1856,8 @@
  * curs: a simplified binding to the ncurses/panel libraries for terminal I/O.


-Mercury 0.11, December 24, 2002
--------------------------------
+Mercury 0.11, 24 December 2002
+------------------------------

  HIGHLIGHTS
  ==========
@@ -2400,7 +2400,7 @@
    This release is the first to be based on an officially released
    version of GCC (it is based on GCC 3.2).  In this release, the native
    code back-end now passes all of the applicable tests in the Mercury test
-  suite, including bootstraping the Mercury compiler.  Currently it is only
+  suite, including bootstrapping the Mercury compiler.  Currently it is only
    supported on i*86-pc-linux-gnu (Intel x86-based PCs running Linux).

    For details see <http://www.cs.mu.oz.au/mercury/download/gcc-backend.html>.
@@ -2436,8 +2436,8 @@
    of the C files generated by the compiler with debugging enabled are now
    typically between a quarter and a third of their previous sizes.

-Mercury 0.12, September 9, 2005
--------------------------------
+Mercury 0.12, 9 September 2005
+------------------------------

  HIGHLIGHTS
  ==========
@@ -2887,8 +2887,8 @@
    standard library.  See README.Java for further details on the status
    of this backend.

-Mercury 0.12.1, November 21, 2005
----------------------------------
+Mercury 0.12.1, 21 November 2005
+--------------------------------

  This release is primarily a bug-fix release.
  It fixes a problem with predicates that have existentially typed
@@ -2897,12 +2897,18 @@
  attached to them, and makes various improvements to the MS-Windows
  ports.

-Mercury 0.12.2, January 25, 2006
----------------------------------
+Mercury 0.12.2, 25 January 2006
+-------------------------------

  This release fixes some bugs with `mmc --make' and `--smart-recompilation'.


+Mercury 0.13.0, 14 September 2006
+---------------------------------
+
+See the NEWS file.
+
+
  .NET CLR back-end history
  -------------------------
  As mentioned above, we started working on the MLDS back-end in July 1999.
Index: NEWS
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/NEWS,v
retrieving revision 1.409.2.5
diff -u -r1.409.2.5 NEWS
--- NEWS	11 Sep 2006 07:22:18 -0000	1.409.2.5
+++ NEWS	13 Sep 2006 08:04:38 -0000
@@ -35,6 +35,14 @@
  * We have moved the all-solutions predicates from std_util.m into a new
    library module, solutions.m.  These predicates are still available in
    std_util.m but these versions are now deprecated.
+* We have moved the univ type, and related predicates, from std_util.m
+  into a new library module, univ.m.
+* We have moved the maybe type, and related predicates, from std_util.m
+  into a new library module, maybe.m.
+* We have moved the pair type, and related predicates, from std_util.m
+  into a new library module, pair.m.
+* We have moved the unit type from std_util.m into a new library module,
+  unit.m.
  * We have made the predicates semidet_succeed/0, semidet_fail/0 and
    cc_multi_equal/2 into builtins.  Formerly these were exported by std_util.m.
  * We have added an `injection' module, for reversible maps that are injective.
@@ -52,6 +60,7 @@

  Portability Improvements:
  * We've ported Mercury to the x86_64 (AMD64 / Intel EMT64) architecture.
+* We've made the implementation compatible with gcc 4.1.

  Changes to the Mercury debugger:
  * Users can now see a listing of the source code lines referred to by the

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