| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
proof-activate-scripting-hook does nothing (case: switching buffers in
Coq when there was an error)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
the symbol font face's :slant as well as :family attributes.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(strings are brown, but logic is green)
|
|
|
|
|
|
unparseable
|
|
|
|
|
|
|
|
terrible
|
|
|
|
|
|
|
|
|
|
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;
|
