Enhancements for the scribble language (a documentation language based on Racket)
Go to file
Matthew Flatt 4fadca633f scribble: render "incremement" and some other chars for Latex/PDF
This change was prompted by the change to DrRacket's "\Delta"
to produce the Unicode "increment" character.

original commit: fc112ccd4627f0b7413ba17a81d050bb840a79b3
2012-12-10 10:20:32 -07:00
collects scribble: render "incremement" and some other chars for Latex/PDF 2012-12-10 10:20:32 -07:00