| #
962a079c |
|
02-Mar-2017 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Put release date into release notes
|
| #
7f029984 |
|
10-Mar-2016 |
Thibault Gauthier <thibault.gauthier@uibk.ac.at> |
release notes: holyhammer: version number
|
| #
e97c16d5 |
|
10-Mar-2016 |
Thibault Gauthier <thibault.gauthier@uibk.ac.at> |
release notes: holyhammer: version number
|
| #
d85972d5 |
|
17-Jan-2016 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Explain record polymorphism "fix" in release notes
|
| #
c9a794c0 |
|
14-Jan-2016 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Mention use of PolyML's SaveState in release notes
|
| #
4fcb7909 |
|
14-Jan-2016 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Tweak release notes' discussion of qmatch* tactics
Notes previously mentioned them as being in lcsymtacs. With the move of
everything to bossLib in earlier, this is no longer appropriate.
Part of work on #274
|
| #
b4a8691a |
|
14-Jan-2016 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Document Hol_coreln in release notes
|
| #
3267b8ba |
|
14-Jan-2016 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Tweak Holyhammer notice in release notes
Credit Thibault Gauthier as part of this
|
| #
ea8d1b7b |
|
16-Nov-2015 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Record polyrcd update work in release notes
Related to issue #173
|
| #
036c9844 |
|
25-Oct-2015 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Improve tactic selection/movement in emacs mode
Also add new "execute the next tactic" binding on M-h M-e, which
"automagically" selects the next tactic from the source buffer, and
applies it. If the next tactic is, say, a parenthesised argument to
>-/THEN1, it will select all of it. To step into such a tactic, the
user has to manually move the cursor into the sexp.
|
| #
f9053c22 |
|
08-Oct-2015 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Next release will be Kananaskis-11
This commit starts release preparation branch.
|