| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
|
|
It has no icon in images directory, which causes odd effects with toolbar mapping
(Fixes Trac #352).
|
|
proof-retract-until-point changed type).
|
|
|
|
|
|
convenience commands.
|
|
(engages autosend slightly more often, but not quite often enough)
|
|
to not clash with standard toolbar buttons. Doesn't yet solve issue completely.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
span regions.
|
|
reinstate comment highlighting.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(i.e., automatic preview of next command)
|
|
|
|
|
|
|
|
|
|
clone-buffer to work, at least superficially.
|
|
so that proof-shell-invisible-command-invisible-result does what it says on the tin.
|
|
|
|
|
|
|
|
|
|
interrupting if prover is busy before undoing. Refs Trac #293
|
|
the wrong place).
|
|
is too small. However if the frame is too small the bug remains (but
it is much less probable).
|
|
an obscure case, attempting to handle delayed output when there is none.
|
|
|
|
|
|
individually rather than en-massse, avoiding input buffer size
problems (bug?) on Emacs 24 with lengthy Isabelle PGIP commands.
|
|
|
|
|
|
|
|
|
|
compile warning
|
