| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
pg-last-output-displayform: protect against single \n in last output
|
|
unicode-tokens-display-table: use this (experimental) for alternative ellipsis glyph
|
|
|
|
|
|
and self-delete.
|
|
|
|
(if proof-follow-mode suggests following locked region)
|
|
on any edit (affects error spans and outdated help spans).
|
|
|
|
|
|
buffers to ensure font changes are seen (change for Mac)
|
|
|
|
|
|
|
|
comment, not a command.
|
|
|
|
|
|
|
|
culpabilizing face.
|
|
|
|
|
|
|
|
warning should not stop compilation).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
proof-assert-electric-terminator: restore expected behaviour with/without term.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
