| Age | Commit message (Collapse) | Author |
|---|
|
|
|
fix odd arithmetic error during byte compile.
|
|
|
|
|
|
buffers, we invoke (save-some-buffers). Furthermore, we warn the user
if modified buffers have been read in by the proof assistant.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
now seems to correctly observe all messages which pass through.
|
|
|
|
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.
|
|
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.
|
|
|
|
|
|
|
|
customizability, made FSF compatible.
|
|
|
|
|
|
|
|
proof-activate-scripting
proof-shell-ready-prover
|
|
|
|
|
|
|
|
more than on ACS. Also improved presentation.
|
|
|
|
|
