diff options
Diffstat (limited to 'generic/proof-config.el')
| -rw-r--r-- | generic/proof-config.el | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 636f1f1f..1322b1a1 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -889,6 +889,12 @@ output format." :type '(cons (function function)) :group 'proof-shell) +(defcustom proof-shell-preprocess-command nil + "Any preprocessing required for a command, e.g. stripping comments. +This function will be applied to each string sent to the process." + :type 'function + :group 'proof-shell) + |