#
1171d4c1 |
|
24-Nov-2013 |
Michael Norrish <michael.norrish@nicta.com.au> |
Fix bug in emacs mode's handling of open thyname. Problem arose if the thyname included the string "_fun_". Thanks to Magnus for the bug report. You will need to do a fresh ML < tools/smart-configure.sml to get the new version of the Emacs mode created.
|
#
71e5bf7a |
|
24-Nov-2013 |
Michael Norrish <michael.norrish@nicta.com.au> |
Mention space-wastage bug in Overload in release notes.
|
#
6153ff6e |
|
24-Nov-2013 |
Michael Norrish <michael.norrish@nicta.com.au> |
Description of ARM_security_properties example for the release notes
|
#
b971f906 |
|
03-Nov-2013 |
Michael Norrish <michael.norrish@nicta.com.au> |
Insert links to previous releases in (some) release notes files
|
#
d2d9f963 |
|
03-Nov-2013 |
Michael Norrish <michael.norrish@nicta.com.au> |
Mention bug fixed in 730f9a26a in release notes. Also add regression test for this bug in src/real.
|
#
a11c14d4 |
|
03-Nov-2013 |
Michael Norrish <michael.norrish@nicta.com.au> |
Mention bug fixed in bba61edf in release notes.
|
#
ec741f98 |
|
28-Aug-2013 |
Michael Norrish <michael.norrish@nicta.com.au> |
Record fix of new_type_definition problem reported by Rob Arthan.
|
#
538b8816 |
|
27-Aug-2013 |
Michael Norrish <michael.norrish@nicta.com.au> |
Change release notes' colour of <code> and <pre> elements to dark green This makes them more distinct from the standard dark blue that is used to indicate "visited link".
|
#
7de39a0e |
|
27-Aug-2013 |
Michael Norrish <michael.norrish@nicta.com.au> |
Add a bunch of Github cross-references to release notes.
|
#
ae9afee1 |
|
11-Aug-2013 |
Michael Norrish <michael.norrish@nicta.com.au> |
Mention fix of bug #115 in the release notes.
|
#
c7c6bfca |
|
11-Aug-2013 |
Michael Norrish <michael.norrish@nicta.com.au> |
Document the suffices_by tactic in the release notes. (See 97ce3c4 for the commit adding suffices_by.)
|
#
1d041865 |
|
17-Jul-2013 |
Michael Norrish <michael.norrish@nicta.com.au> |
Mention parsing example in release notes.
|
#
0c086c8a |
|
17-Jul-2013 |
Michael Norrish <michael.norrish@nicta.com.au> |
Mention recursive cleaning with -r option in release notes.
|
#
91d66767 |
|
23-Jun-2013 |
Michael Norrish <michael.norrish@nicta.com.au> |
New goalstack pretty-printing trace & rationalise goalstack trace names New trace prints a count of the sub-goals at the end of the stack. This saves the user from having to scroll back over the several hundred goals they've just generated to find out the number.
|
#
7925c908 |
|
25-Feb-2013 |
Michael Norrish <michael.norrish@nicta.com.au> |
Document HINT_EXISTS_TAC and pattern-matching improvements in release notes.
|
#
ec7a155b |
|
24-Feb-2013 |
Michael Norrish <michael.norrish@nicta.com.au> |
Document feature of independent function parameters for Define. This closes #112. (I have checked everything up to -selftest 2 as well as examples/machine-code.)
|
#
5f424e13 |
|
30-Jan-2013 |
Michael Norrish <michael.norrish@nicta.com.au> |
Document the change to MEM in the release notes.
|
#
39ede248 |
|
30-Jan-2013 |
Michael Norrish <michael.norrish@nicta.com.au> |
Document bug-fix for array-type type abbreviations in the release notes.
|
#
24f85ef5 |
|
03-Jan-2013 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Minor wording improvement in the release notes about case-const-arg-flip.
|
#
d53632a0 |
|
13-Dec-2012 |
Michael Norrish <michael.norrish@nicta.com.au> |
More documentation about the case-const arg-flip change.
|
#
c47c568d |
|
10-Dec-2012 |
Michael Norrish <michael.norrish@nicta.com.au> |
Documentation for the case-constant argument flip change. This is progress with github issue #97.
|