#
4656a34b |
|
08-Sep-2005 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
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.
|
#
4cddaa12 |
|
12-Jul-2005 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
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.
|
#
27c8c35b |
|
20-Jun-2005 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
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.
|
#
2707d52f |
|
05-Jun-2005 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Get this to validate as wellformed XHTML.
|
#
fa0e87bf |
|
05-Jun-2005 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Document the change to the way fixed-width words are done.
|
#
c48ffd1d |
|
30-May-2005 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Specify new, better defined, behaviour of Hol_datatype in presence of type operators with more than one parameter.
|
#
bdc9c478 |
|
23-Feb-2005 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Document the change to the names of the HOL executables.
|
#
a66dc2d5 |
|
23-Aug-2004 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Mention Konrad's theory of sorting/permutations.
|
#
984a7aae |
|
15-Jul-2004 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Put computeLib back the way it was wrt evaluation of conditional expression's branches (following discussion on hol-developers mailing list).
|
#
391fd524 |
|
14-Jul-2004 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Document changes to the abbreviation tactics.
|
#
402799d1 |
|
14-Jul-2004 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Document new --logging option to Holmake.
|
#
51314d98 |
|
14-Jul-2004 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
HTML entity encode some < and > symbols.
|
#
0b73e097 |
|
14-Jul-2004 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
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.
|
#
2d523c5e |
|
06-Jul-2004 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Mention removal of LET, and make minor fixes elsewhere.
|
#
c9a9b7d4 |
|
23-Jun-2004 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Tarted up the HTML in this document, and also added a mention of the fact that LIST_TO_SET has changed homes.
|
#
468e3eba |
|
17-Mar-2004 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Document today's bug fix.
|
#
05a07e4b |
|
07-Mar-2004 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
* 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.
|