diff options
author | 2009-08-20 10:11:24 +0000 | |
---|---|---|
committer | 2009-08-20 10:11:24 +0000 | |
commit | b6172fb5ea2541633b5fad8ab6213b3d70aea975 (patch) | |
tree | 5b367251ee1a1ba6d3cca172d5bf2e85ce784a70 /generic/proof-mmm.el | |
parent | 83ce91f2f3d2536e2f6ad48362ba88415cfb1b87 (diff) |
Documentation improvements.
Experiment with `process-adaptive-read-buffering'
Do not run `proof-shell-insert-hook' if input string is empty
or single CR.
Diffstat (limited to 'generic/proof-mmm.el')
0 files changed, 0 insertions, 0 deletions