Change the order of presentation so that we start the release note with
features rather than bugs. Also move the new installation procedure to
the top of the feature list.

Changed a couple of misleading/annoying names. The type ssdata is now
called ssfrag (to bring it into line with documentation that talks about
simpset fragments), and the constructor SIMPSET is now called SSFRAG.
It never created a simpset, so the latter was a stupid name.

Bug fix (and documentation thereof): the quote-filter wasn't coping with
type quotations that had newlines immediately after colon. Bug reported
by Steve Brackin.

Get this to validate as wellformed XHTML.

Document the change to the way fixed-width words are done.

Specify new, better defined, behaviour of Hol_datatype in presence of
type operators with more than one parameter.

Document the change to the names of the HOL executables.

Mention Konrad's theory of sorting/permutations.

Put computeLib back the way it was wrt evaluation of conditional expression's
branches (following discussion on hol-developers mailing list).

Document changes to the abbreviation tactics.

Document new --logging option to Holmake.

HTML entity encode some < and > symbols.

Modify standard compsets to not evaluate the branches of conditionals until
the conditionals' guards have evaluated to true or false. Document this
in the release notes, and describe a backwards compatibility fix.

Mention removal of LET, and make minor fixes elsewhere.

Tarted up the HTML in this document, and also added a mention of the fact
that LIST_TO_SET has changed homes.

Document today's bug fix.

* moved kananaskis-2 release notes across from branch
* removed non-HTML version of (old) kananaskis-2 notes
* shifted kananaskis-2 notes into new HTML form with kananaskis-3 name.
We can generate ASCII version using lynx -dump.