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.
Fixup notes about updating the version number.

The version number is kept in VERSION, however since README is no-longer
dynamically generated we must also update the version number there.
This change adds a note to this effect in VERSION.

VERSION:
    As above.
Update the copyright year

bindist/bindist.README:
compiler/handle_options.m:
doc/faq.texi:
doc/library.texi:
doc/reference_manual.texi:
doc/transition_guide.texi:
doc/user_guide.texi:
profiler/mercury_profile.m:
trace/mercury_trace_internal.c:
    As above.
Merge branch 'master' into version-14_01-branch
Revert my earlier change to VERSION

My earlier change was a mistake caused by a misudernstanding.

VERSION:
    As above.
Merge branch 'master' into version-14_01-branch
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.