Enhancements for the scribble language (a documentation language based on Racket)
Go to file
Matthew Flatt d96626896d scribble/latex-properties: add `command-extras'
This style property is a way to add to the Latex output that is
ignored for HTML and other output.

original commit: 17865bfa841e7c6fd235717bde6b03f16c77e124
2013-01-24 06:43:10 -05:00
collects scribble/latex-properties: add `command-extras' 2013-01-24 06:43:10 -05:00