diff options
| author | David Aspinall | 2009-08-20 10:11:24 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-08-20 10:11:24 +0000 |
| commit | b6172fb5ea2541633b5fad8ab6213b3d70aea975 (patch) | |
| tree | 5b367251ee1a1ba6d3cca172d5bf2e85ce784a70 /isar/Example.thy | |
| 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 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions