| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
feature)
|
|
|
|
with holes
mode (unfortunately).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
of t (for safety, no ill behaviour observed)
|
|
|
|
but doesn't reflect changes as they happen.
|
|
|
|
|
|
|
|
|
|
about Solaris. Experiment using pipe instead of pty communication as
default now scomint buffer not intended for interactive input and runs
prover process directly.
|
|
|
|
|
|
|
|
|
|
|
|
proof-shell-wait: drastically reduce timeout, as some implementations
perhaps wait for full time even if process output is received.
Set process-adaptive-read-buffering to nil regardless of platform
|
|
support this.
|
|
happens when proof-autosend-running is set).
|
|
|
|
|
|
invoke callbacks before detaching queue.
Fix to passing of display flags.
|
|
|
|
|
|
|
|
|
|
|
|
proof-shell-interrupts-after-commit.
|
|
|
|
|
|
Questionable UI benefit.
|
|
|
|
|
|
|
|
[experimental/temporary].
|
|
|
|
proof-activate-scripting-hook does nothing (case: switching buffers in
Coq when there was an error)
|
|
|
|
|
|
|
|
|
