#
b971f906 |
|
03-Nov-2013 |
Michael Norrish <michael.norrish@nicta.com.au> |
Insert links to previous releases in (some) release notes files
|
#
f8aafd42 |
|
01-Oct-2012 |
Michael Norrish <michael.norrish@nicta.com.au> |
Mention move and rename of old ordinalTheory in release notes.
|
#
c9bcb3db |
|
27-Sep-2012 |
Michael Norrish <michael.norrish@nicta.com.au> |
Improve rel notes' example of Define's ability to handle consts as params. Previous version may have given impression that re-used constant still had to have same type as parameter. Example now has Define`x = (2,3)`; Define`f x = x + 1`;
|
#
261304c1 |
|
27-Sep-2012 |
Michael Norrish <michael.norrish@nicta.com.au> |
Update description of ordinal example in the release notes.
|
#
bbdb2557 |
|
19-Sep-2012 |
Magnus Myreen <magnus.myreen@cl.cam.ac.uk> |
Two new bullet points in K8 release notes.
|
#
db6fe5d0 |
|
18-Aug-2012 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Minor formatting changes to Tarek's notes on new probability theories.
|
#
4bd296a1 |
|
18-Aug-2012 |
Tarek Mhamdi <tarek.mhamdi@gmail.com> |
Entry for probability and real_sigmaTheory.
|
#
6088b977 |
|
18-Aug-2012 |
Tarek Mhamdi <tarek.mhamdi@gmail.com> |
Entry for probability and real_sigmaTheory.
|
#
850abbe0 |
|
09-Aug-2012 |
Michael Norrish <michael.norrish@nicta.com.au> |
Fix printing of unnecessary guff on theory load with Unicode off.
|
#
b55f6c40 |
|
08-Aug-2012 |
Michael Norrish <michael.norrish@nicta.com.au> |
Move n2l and l2n constants (and similar) into new numposrep theory. A number of fixes follow on from this. Also mention the new theories (numposrep and ASCIInumbers) in the release notes. This is progress with #70.
|
#
9f0cb182 |
|
06-Aug-2012 |
Michael Norrish <michael.norrish@nicta.com.au> |
Mention gcdsetTheory and ordinalTheory in release notes.
|
#
393a2456 |
|
02-Aug-2012 |
Michael Norrish <michael.norrish@nicta.com.au> |
Change release notes stylesheet to make <code> font normal-size.
|
#
181f1b2f |
|
02-Aug-2012 |
Michael Norrish <michael.norrish@nicta.com.au> |
Credit Scott and link to github issue in release notes for #17.
|
#
66f454d0 |
|
02-Aug-2012 |
Michael Norrish <michael.norrish@nicta.com.au> |
Document fix of #73 in release notes.
|
#
69c601d8 |
|
01-Aug-2012 |
Michael Norrish <michael.norrish@nicta.com.au> |
Finish a sentence in the release notes with a full-stop.
|
#
050df6ef |
|
01-Aug-2012 |
Michael Norrish <michael.norrish@nicta.com.au> |
Don't emit definition bindings for enumerated constants. Fixes #78. This commit also * fixes uses of constructor definitions (the equations are still present under the "number2<ty>_thm" name) * provides a regression test * a bug fix claim in the release notes.
|
#
4d180e83 |
|
15-Apr-2012 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Replace ugly hexadecimal HTML entity with Unicode universal quantifier.
|
#
c47f326d |
|
06-Apr-2012 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Alter Define's handling of function argument variables. Closes #17.
|
#
eef0d450 |
|
10-Jan-2012 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Document new PROD_IMAGE and PROD_SET constants in release notes. Also perform overloading to Unicode Pi and PI.
|
#
d2c0f105 |
|
23-Oct-2011 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Fix footer of K-8 release notes.
|
#
86145c1f |
|
03-Oct-2011 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Document ability to use a leading bar on the first case of a case-expr.
|
#
e83cfa48 |
|
27-Sep-2011 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Make case-expressions in set comprehensions print with parentheses. The way this is made to work is rather hackish: every possible case expression in a comprehension gets parenthesised, even if it won't cause a parse error. I don't expect there are many such in any case.
|
#
0f8f2bef |
|
26-Sep-2011 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Describe change to case-syntax in release notes.
|