| Age | Commit message (Collapse) | Author |
|---|
|
proof-retract-until-point changed type).
|
|
|
|
|
|
convenience commands.
|
|
|
|
document-centred.
|
|
(engages autosend slightly more often, but not quite often enough)
|
|
to not clash with standard toolbar buttons. Doesn't yet solve issue completely.
|
|
|
|
|
|
|
|
Unfortunately that message is now not shown in response buffer.
|
|
+ fixed the refreshing of modeline goal number display.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
span regions.
|
|
|
|
reinstate comment highlighting.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
buffer.
|
|
instead of pure strings.
|
|
|
|
|
|
|
|
|
