| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
|
|
|
|
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
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
proof-shell-identifier-under-mouse-cmd -> proof-query-identifier-command.
|
|
|
|
in menu
|
|
|
|
|
|
|
|
|
