suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

improve blue box spacing in Redex reference

Browse Source
This commit is contained in:
Robby Findler 2012-06-22 19:16:26 -05:00
parent e4f216244a
commit 40ec33c12b
1 changed files with 8 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
collects/redex/scribblings/ref.scrbl
View File

@ -2430,7 +2430,12 @@ Note that the @racket[#t] variant can look a little bit strange if
multi-line right-hand sides. multi-line right-hand sides.
} }
@defparam[render-reduction-relation-rules rules (or/c false/c (listof (or/c symbol? string? exact-nonnegative-integer?)))]{ @defparam[render-reduction-relation-rules
rules
(or/c false/c
(listof (or/c symbol?
string?
exact-nonnegative-integer?)))]{
This parameter controls which rules in a reduction relation This parameter controls which rules in a reduction relation
will be rendered. The strings and symbols match the names of will be rendered. The strings and symbols match the names of
the rules and the integers match the position of the rule in the rules and the integers match the position of the rule in
@ -2584,7 +2589,8 @@ where the other parameters aren't used.
@deftogether[[ @deftogether[[
@defparam[label-font-size size (and/c (between/c 1 255) integer?)]{} @defparam[label-font-size size (and/c (between/c 1 255) integer?)]{}
@defparam[metafunction-font-size size (and/c (between/c 1 255) integer?)]{} @defparam[metafunction-font-size size (and/c (between/c 1 255)
integer?)]{}
@defparam[default-font-size size (and/c (between/c 1 255) integer?)]{}]]{ @defparam[default-font-size size (and/c (between/c 1 255) integer?)]{}]]{
These parameters control the various font sizes. The These parameters control the various font sizes. The