| #
b971f906 |
|
03-Nov-2013 |
Michael Norrish <michael.norrish@nicta.com.au> |
Insert links to previous releases in (some) release notes files
|
| #
ae3aecea |
|
31-Aug-2010 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Document recent Hol_datatype bug fixes in K6 release notes.
|
| #
34cf31c1 |
|
19-Aug-2010 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Document the Hol_datatype bug that was fixed yesterday.
|
| #
55ce29e1 |
|
22-Jun-2010 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Document change to INFINITE (it is now an abbreviation).
|
| #
2e5ff9b6 |
|
22-Jun-2010 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Delete earlier (now redundant) para about .hol-config files in release notes.
|
| #
4b5d9d3e |
|
14-Jun-2010 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Document .hol-config files.
|
| #
b770bc48 |
|
07-Jun-2010 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Bug fix, with test-case and release notes write-up.
|
| #
cff15706 |
|
07-Jun-2010 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Another minor HTML tidy-up.
|
| #
e571d448 |
|
07-Jun-2010 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
A whole bunch of release notes, based on fast scan of log messages.
Please feel free to add more stuff that I may have missed.
|
| #
3d637d38 |
|
06-Jun-2010 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Fix a minor HTML-incompatibility that was weirding out my version of Firefox.
|
| #
df2457a9 |
|
06-Jun-2010 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Mention our new TeX-emission facilities in the release notes.
|
| #
2aa49bf0 |
|
06-Jun-2010 |
Tjark Weber <Tjark.Weber@cl.cam.ac.uk> |
HolQbfLib mentioned.
|
| #
47e2f0fd |
|
13-Mar-2010 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Record change in SSFRAG filter field's type in release notes.
|
| #
8f3a2e9a |
|
19-Nov-2009 |
Thomas Tuerk <Thomas.Tuerk@cl.cam.ac.uk> |
added the changes to userprinter to the list of incompatabilities
|
| #
b82b0a1f |
|
18-Nov-2009 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Add mention of num$0 bug (and fix) to release notes.
|
| #
968ea4fa |
|
09-Oct-2009 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Update release notes to document interactive session configuration files.
|
| #
fd32caf5 |
|
01-Oct-2009 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Word slice "<>" has been replaced with "''".
|
| #
c693d08a |
|
30-Sep-2009 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Document some bugs and features for the next release.
|
| #
96503d2f |
|
19-Sep-2009 |
Tjark Weber <Tjark.Weber@cl.cam.ac.uk> |
Tuned.
|
| #
160a14a2 |
|
16-Sep-2009 |
Tjark Weber <Tjark.Weber@cl.cam.ac.uk> |
Proof reconstruction for Z3 mentioned as a new feature.
|
| #
c3d074bc |
|
10-Aug-2009 |
Tjark Weber <Tjark.Weber@cl.cam.ac.uk> |
Release notes for Kananaskis-6, initial version. Please add to this.
|