| Commit message (Collapse) | Author | Age |
| |
|
| |
|
| |
|
|
|
|
| |
proof-mode-for-script seems undefined
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
|
|
| |
Experiment with `process-adaptive-read-buffering'
Do not run `proof-shell-insert-hook' if input string is empty
or single CR.
|
| |
|
|
|
|
| |
proof-shell-insert-hook
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
behaviour. See http://proofgeneral.inf.ed.ac.uk/trac/ticket/179
|
| |
|
| |
|
| |
|
|
|
|
| |
version to override default.
|
| |
|
|
|
|
| |
affect the next position to be processed.
|
|
|
|
| |
flags to proof action list
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
options
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|