| commit | c4586387f6d7e4f0fc07d9bcc39e25d29e8d3c4e | [log] [tgz] |
|---|---|---|
| author | Fred Drake <fdrake@acm.org> | Tue Jan 06 15:46:21 1998 +0000 |
| committer | Fred Drake <fdrake@acm.org> | Tue Jan 06 15:46:21 1998 +0000 |
| tree | 36b27e1b2218a155574f623b06ffe057e23d875c | |
| parent | ecbc1cc3204d51c0bc7982294648548259125f4b [diff] |
In description of \D, revise markup so that the caret shows up in the HTML version as well as the dvi form. Without the fix, it showed up as an extra zero character. Bug reported by Hugh Sasse <hgs@dmu.ac.uk>.