| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. proof-general-supported-assistants is master table of names & autoloads.
. proof-home is calculated automatically from load-file-name
|
|
Added proof-issue-goal and proof-goal-command.
Rearranged to get ready for splitting into proof-script and proof-shell.
Added proof-one-command-per-line user option.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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"
|
