diff options
| author | David Aspinall | 2008-07-10 12:26:13 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-07-10 12:26:13 +0000 |
| commit | 2ced2b851a24d69177462591ea6b8ac4e31102bf (patch) | |
| tree | c3be2d103b0719c7550332c9c2729b3c0cb49985 /pgshell/example.pgsh | |
| parent | b2f1fe36f90c763fd49d4a2bc31b7cf0f1ca04a2 (diff) | |
Reverse 8.28, buffer-substring-no-properties -> buffer-substring.
This fixes Unicode Tokens handling of sub/super scripts, etc.
See http://proofgeneral.inf.ed.ac.uk/trac/ticket/214
Thanks to Simon Winwood for identifying failure point.
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions