diff options
| author | David Aspinall | 2010-08-18 15:54:58 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-08-18 15:54:58 +0000 |
| commit | d7e9830205dc534484f7f8e6c90eb054974ba696 (patch) | |
| tree | 36d364dd949fd4e070787a65169985e1d3ffa7ff /hol98/example.sml | |
| parent | b8fc357dbb4bbd7b7cd54fe177a1d60ac0eb59cc (diff) | |
unicode-tokens-show-controls (C-c C-t C-t): Use redraw-display instead
of redisplay to reveal invisibility spec changes
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions