| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
make consistent with `proof-strict-read-only' setting. In particular,
if "Edit Freely" is selected then we don't do any retraction.
|
|
|
|
|
|
assert-processed to wait for shell.
|
|
Add `pg-autotest-test-assert-full' for current buffer w/o file.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
common Isabelle theories (according to symbol length not shape), emdash is not predefined by default and confuses typical LaTeX source;
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
such as imenu.
|
|
|
|
|
|
|
|
|
|
|
|
prevents a spurious warning from Emacs 23 (and is a minor efficiency
improvement).
|
|
spurious warning in Emacs 23.2
|
|
spurious warning in Emacs 23.2
|
|
spurious warning in Emacs 23.2
|
|
spurious warning in Emacs 23.2
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(Trac#314)
`proof-shell-exit': fix pareno, avoid duplicated user question in Emacs 23.
Consistent capitalisation of errors.
|
|
|
