| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
with the state change of a buffer from completely processed to
partly processed.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
close off to (proof-script-end), not (point-max).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
disable enablers if < XEmacs 21.
|
|
Set some defaults to nil to get sensible error messages instead
of failure in Coq.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Added proof-unnamed-theorem-name.
|
|
buffer. Added a version of it to proof-activate-scripting-hook.
Removed cd from initialization sequence.
Changed prover specifics accordingly.
|
|
|
|
the last command are now show. Added extra docs to clarify behaviour.
|
|
|
|
|
|
|
|
|
|
|
|
|
