Move 13.05.X NEWS into HISTORY.

NEWS:
HISTORY:
	As above.
Update the version in the release notes.

RELEASE_NOTES:
	Bump the version to 14.01.
Merge branch 'version-14_01-branch'
Fix some problems with the User's guide.

doc/user_guide.texi:
	Delete a reference to `:' as a module qualifier.

	Comments in texinfo begin with "@c", not "%".

	Fix an ordering mismatch between the menu and the sectioning:
	``Build options'' and ``Miscellaneous options'' should
	occur *after* ``Link options''.
Fix warnings from texinfo in User's guide.

doc/user_guide.texi:
	Fix spots where there were ordering mismatches between the menus and the
	sectioning.
Fix warnings from texinfo in the reference manual.

doc/reference_manual.texi:
	Fix the ordering of the menu in the foreign language interface
	chapter so that it matches the sectioning.
Update dead links in reference manual.

doc/reference_manual.texi:
	Update dead WWW links (mainly to stuff that used
	to be hosted at CSSE.)

	Mark up URLs using @uref, so that we get actual
	links in the HTML version of the manual.
Fix URL markup in the user's guide.

doc/user_guide.texi:
	As above.
Fix the documentation of --feedback-file.

compiler/options.m:
doc/user_guide.texi:
	`--feedback-file' requires an argument.

	Fix a spot where an option name is not quoted /
	marked up.
Workaround bug #307.

We encounter internal errors in GCC 4.8.2 on i686 Linux when compiling
runtime/mercury_ho_call.c in grades that use global registers when -fpic is
enabled.  Compile that module at -O0 in the above circumstances; doing so
avoids tickling the bug.

scripts/mgnuc.in:
	As above.
Workaround bug #304.

configure.ac:
	When using non-local gotos force GCC 4.8 to emit error messages
	in a format that mfiltercc can handle.
Make cord foldl tail-recursive.

Make cord.foldl and cord.foldl_pred tail-recursive.  This may be
expected by users as cords are often used as a replacement for lists.

Also make the recursive calls in cord.foldr and cord.foldr_pred amenable
to last call optimisation.  However, they still use stack space
proportional to the size of the input due to calling list.foldr.

library/cord.m:
	As above.

tests/hard_coded/test_cord2.m:
tests/hard_coded/test_cord2.exp:
	Add tests for fold order.

NEWS:
	Announce the change.
configure.ac:
    Fix two problems.

    If the C compiler supports options to disable macro expansion tracking
    and caret error messages, use them when using the constructs (labels,
    i.e. goto targets) that would generate the messages we want to filter out.

    Do not use environment variable values appropriate to the to-be-installed
    Mercury compiler when testing the already-installed Mercury compiler.
Reorganize the way we handle reserved C macro names.

RESERVED_MACRO_NAMES:
*/RESERVED_MACRO_NAMES:
    Add a macro, _FORTIFY_SOURCE, that gcc defines by default on some recent
    versions of Linux.

    I could have added it in SIX separate RESERVED_MACRO_NAMES files.
    Instead, I moved the content common to all these files to a
    RESERVED_MACRO_NAMES file in the top directory, leaving the
    RESERVED_MACRO_NAMES files of the subdirectories containing only
    macros that *don't* occur in all those subdirectories.

tools/bootcheck:
   Copy the top-level RESERVED_MACRO_NAMES names to the stage 2 directory.

Mmake.common.in:
   Filter out the contents of the top level RESERVED_MACRO_NAMES file,
   as well as the RESERVED_MACRO_NAMES file in the current directory.
Fix a problem that truncated mdb_doc files.

util/info_to_doc.c:
    Fix a problem that caused the generation of truncated mdb_doc files,
    and from that truncated test/debugger/mdb_command_test.inp files.
    The problem was that this program expected the info program to quote
    the initial line of each mdb command like this:

        `cmdname options ...'

    but on some machines, including mine, it quotes them like this:

        'cmdname options ...'

    i.e. with the initial as well as the final quote being a forward quote.
    This program now accepts either.

util/Mmakefile:
    Fix white space.

doc/generate_mdb_doc:
    Fix inconsistent indentation. Protect shell variable references.

doc/Mmakefile:
    Generate an error message if a similar problem occurs again
    when creating mdb_doc.

    Fix indentation.

tools/bootcheck:
    Generate an error message if a similar problem occurs again
    when copying tests/debugger/mdb_command_test.inp.
tests/debugger/tabled_read.m:
   Bring the coding style of this test case up to our current standards.
compiler/exprn_aux.m:
   Delete a redundant comment.
Improve handling of the deployment target setting on Mac OS X.

Due to matching against hardcoded versions of Darwin in the configure script
the deployment target for recent versions (10.7 and later) of Mac OS X was being
incorrectly set to 10.3.  This diff makes several changes to the handling of the
deployment target setting on Mac OS X:

- The default deployment target is now set to the same version as the host
  system.  (This is more consistent with the default XCode behaviour.)

- Matching against hardcoded versions of Darwin in the configure script
  for this purpose has been removed.

- There is a new option for the configure script,
  `--with-macosx-deployment-target', that allows the user to control
  what the deployment target for use with Mercury is.

configure.ac:
	Don't determine the deployment target by matching against hardcoded
	versions of Darwin -- we had failed to update this for several
	versions.

	By default set the deployment target to be the same version as
	the host system.

	Add a new option for overriding the default setting of the
	deployment target.

	s/doesn't/does not/ in a spot in order to prevent syntax
	highlighting in vim from going stupid.

README.MacOS:
	Add a paragraph describing how the deployment target is set
	for Mercury and pointing the user towards Apple's documentation
	if they require further information.

NEWS:
	Announce the change to the default value of the deployment
	target setting.
Merge Zoltan's fix for bug 304 onto the 14.01 branch.

configure.ac:
	As above.

	Delete my earlier fix for this problem.
Merge commit 'ba57f4a5df1aa1d9ff71c412c64871e9eec3b20a' into version-14_01-branch