| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
|
|
proof-menu.el. Always call proof-toolbar-setup.
|
|
retracted by prover.
|
|
reserved for goals.
|
|
make code more robust
|
|
|
|
Patched (old bug?) in proof-response-buffer-display, how did it
come back?
|
|
it. Removed require on proof-shell from proof-toolbar.
|
|
|
|
|
|
|
|
buffers, we invoke (save-some-buffers). Furthermore, we warn the user
if modified buffers have been read in by the proof assistant.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Removed superfluous optional 'relaxed' argument from:
proof-shell-invisibile-command,
proof-grab-lock,
proof-start-queue.
|
|
Removed redundant variables in proof-shell-popup-eager-annotation.
Fixed bug in proof-detach-segments called with optional argument
(but it's never used?)
Fixed bug in proof-issue-{goal,save} with function value for
proof-{goal,save}-command.
|
|
proof-activate-scripting
proof-shell-ready-prover
|
|
|
|
|
|
|
|
|
|
proof-only-whitespace-to-locked-region-p
|
|
|
|
|
