| Age | Commit message (Collapse) | Author |
|---|
|
|
|
* generic/proof-site.el (assistants): Fix regexp.
|
|
|
|
|
|
|
|
Addresses Trac #422
|
|
|
|
|
|
These don't seem to be very useful or reliable.
|
|
|
|
|
|
|
|
|
|
auto sending: improve messages, bind autosend-running flag lexically in case of errors
query identifier: use history variable, remove key bindings
|
|
proof-retract-until-point changed type).
|
|
(engages autosend slightly more often, but not quite often enough)
|
|
|
|
|
|
(i.e., automatic preview of next command)
|
|
|
|
|
|
|
|
|
|
|
|
support this.
|
|
happens when proof-autosend-running is set).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
make consistent with `proof-strict-read-only' setting. In particular,
if "Edit Freely" is selected then we don't do any retraction.
|
|
|
|
|
|
command elements.
|
|
|
|
|
|
|
|
|
|
|
|
and self-delete.
|
|
|
|
|
|
|
|
|
|
proof-script
|
|
|
|
|
|
|
