| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
and add user-level functions to set the configured fonts.
unicode-tokens-delete-token-near-point: add this user-level function
|
|
|
|
|
|
versions of bash;
|
|
|
|
|
|
|
|
|
|
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
|
|
|
|
|
|
response/goals font-lock keywords.
|
|
|
|
|
|
|
|
|
|
http://proofgeneral.inf.ed.ac.uk/trac/ticket/199)
|
|
|
|
behaviour. See http://proofgeneral.inf.ed.ac.uk/trac/ticket/179
|
|
|
|
|
|
|
|
|
|
string start)
|
|
|
|
|
|
|
|
shell filter functions.
|
|
version to override default.
|
|
recognition of terminating comment strings.
|
|
|
|
|
|
|
|
affect the next position to be processed.
|
|
|
|
flags to proof action list
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
