| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
|
|
|
|
|
|
Set the Info directory list there rather than after
proof.el has loaded. Add the proof-info-dir onto the
end of Info-default-directory-list, not the start.
|
|
|
|
|
|
Tested with both. Incredibly difficult to get right.
localdir is better with XEmacs, but it will use dir in preference, 8-(.
|
|
|
|
it can now be used even when there is no corresponding proof process
|
|
script buffers, goal buffer and process buffer
|
|
|
|
proof-prog-name-ask-p defcustom
|
|
|
|
|
|
These are no longer displayed in the *GOALS* buffer.
|
|
|
|
|
|
behaviour"
|
|
|
|
than one prover
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
-Simplified code for setting faces
-Reimplimented `proof-shell-handle-error'
-Improved `proof-shell-filter'; it no longer removes the prompt
annotation
-The Shell no longer automatically scrolls to the end (or so I hope)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
