| #
b971f906 |
|
03-Nov-2013 |
Michael Norrish <michael.norrish@nicta.com.au> |
Insert links to previous releases in (some) release notes files
|
| #
05428c25 |
|
06-Aug-2011 |
Ramana Kumar <ramana.kumar@gmail.com> |
Add category theory example to release notes.
|
| #
2d9dc655 |
|
28-Jul-2011 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Fiddle with aesthetics in release notes.
|
| #
fc217feb |
|
28-Jul-2011 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Mention fractions in release notes.
|
| #
17bd8901 |
|
21-Jun-2011 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Mention the triangular unification example in the release notes.
|
| #
a5ca6efb |
|
21-Jun-2011 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Document the removal of TruePrefix in the release notes.
|
| #
d04bed45 |
|
14-Jun-2011 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Extend release notes with a variety of things gleaned from commit log.
|
| #
c1a44eeb |
|
01-May-2011 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Mention new MOD_ss simpset fragment in release notes.
|
| #
d01287bc |
|
01-May-2011 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
A new theorem for complexScript, and a description in the release notes.
Thanks to Liming Li for these.
|
| #
61885de9 |
|
11-Apr-2011 |
Tjark Weber <Tjark.Weber@cl.cam.ac.uk> |
Briefly documented user-relevant changes in HolSmtLib since Kananaskis-6.
|
| #
b1148aee |
|
12-Apr-2011 |
Tjark Weber <Tjark.Weber@cl.cam.ac.uk> |
Documented r9005.
|
| #
7e289766 |
|
24-Feb-2011 |
Tjark Weber <Tjark.Weber@cl.cam.ac.uk> |
Updated to mention QBF validity checking.
|
| #
b01c72c6 |
|
09-Jan-2011 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Add definition of rpow function, contributed by Umair Siddique.
This is exponentiation where both arguments are real numbers. Hitherto,
realTheory has only had pow, where the exponent had to be a natural
number.
Document this in release notes.
|
| #
1e80a48d |
|
11-Nov-2010 |
Tjark Weber <Tjark.Weber@cl.cam.ac.uk> |
HolQbfLib now supports Squolem2.
|
| #
0bdc4558 |
|
17-Sep-2010 |
Tjark Weber <Tjark.Weber@cl.cam.ac.uk> |
Documented r8385 and r8525.
|
| #
a33517da |
|
17-Sep-2010 |
Tjark Weber <Tjark.Weber@cl.cam.ac.uk> |
Removed itotal from Lib. Please DO NOT use handle _ in your code! Exception
Interrupt should (almost) never be handled without being re-raised. Note that
Lib.total already does the right thing.
|
| #
0374d60c |
|
17-Sep-2010 |
Tjark Weber <Tjark.Weber@cl.cam.ac.uk> |
Release notes for Kananaskis-7, initial version. Please add to this.
|