hyper-literate/scribble-doc/scribblings
Matthew Flatt 18e467ef9e disable _ prefix handling in racketmodname and other places
In places where module names are typeset, such as `racketmodname`,
there's no way to disable the special treatment of `_` as an
identifier prefix as in `racket`. Even using
`make-element-id-transformer` doesn't work, because the module-name
datum is explcitly disconnected from binding withing `racketmodname`.
2017-04-14 06:52:16 -06:00
..
scribble disable _ prefix handling in racketmodname and other places 2017-04-14 06:52:16 -06:00