diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2007-12-14 10:38:17 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2007-12-14 10:38:17 +0000 |
| commit | f60e5be1803cd30f9030a1a432d8a64561882f35 (patch) | |
| tree | 6891d6e14ba00b1d4b9c8d5d64c51f08d908e87f /generic/pg-goals.el | |
| parent | ae4394c4dbb2451770bb46b45a192b4ccd4f51b4 (diff) | |
Add proof-shell-set-text-representation to disable multibyte characters in legacy case. Use proof-shell-unicode to control whether bytes 128-255 are stripped from output.
Diffstat (limited to 'generic/pg-goals.el')
0 files changed, 0 insertions, 0 deletions