| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Alter proof-shell-start-goals-regexp to work in buffer.
|
|
|
|
|
|
LEGO messages)
|
|
Remove proof-shell-abort-goal-regexp
|
|
|
|
|
|
|
|
Print Proof -> just Print in context menu.
Temporarily inhibit read only in response buffer for error highlighting.
Reduce time for error highlighting
|
|
|
|
|
|
to use suggestion to take message from `proof-shell-last-output',
now that is no longer munged to remove markup.
|
|
|
|
|
|
`unicode-tokens-token-match-regexp'.
Fix typo in `proof-tactical-name-face'.
|
|
|
|
runtime. Most of these are spurious (come from autoloads; byte comp seems
to give these higher priority than declarations in same file).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
the prover-specific menu entry automatically. Fix compiler warning
with a defvar.
|
|
|
|
|
|
|
|
|
|
|
|
isar-keywords-name: fix custom group
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
