| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
Follow Upper Case Convention for menu entries
Remove duplicate menu entry: Commands -> set isabelle
|
|
|
|
|
|
|
|
not available
|
|
|
|
Still not ideal: when there is no proof state, we'd prefer
that an empty goal screen is displayed.
|
|
Fix typo in Isar shortcuts. Add links in NEWS section.
|
|
needed here (possible Emacs bug)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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).
|
|
|
|
|
|
|
