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

fixed typos

Browse Source 
svn: r11170
This commit is contained in:
Robby Findler 2008-08-09 15:41:57 +00:00
parent cd421e51da
commit d89e0ba243
1 changed files with 8 additions and 29 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

37
collects/redex/redex.scrbl
View File

@ -1130,40 +1130,19 @@ relations, and metafunction written with plt redex.
Each grammar, reduction relation, and metafunction can be Each grammar, reduction relation, and metafunction can be
saved in a .ps file (as encapsulated postscript), or can be saved in a .ps file (as encapsulated postscript), or can be
turned into a pict. turned into a pict for viewing in the REPL or using with
Slideshow (see
Picts are more useful for debugging since DrScheme REPL will @other-manual['(lib "scribblings/slideshow/slideshow.scrbl")]).
show you the pict directly (albeit with slightly different
fonts than you'd see in the .ps file). You can also use the
picts with Slideshow's pict library to build more complex
arrangements of the figures and add other picts. See
Slideshow for details.
If you are only using the picts to experiment in DrScheme's
REPL, be sure your program is in the GUI library, and
contains this header:
@schememod[
scheme/gui
(require texpict/mrpict)
(dc-for-text-size
(make-object bitmap-dc%
(make-object bitmap% 1 1)))
]
Be sure to remove the call to dc-for-text-size before you
generate .ps files, otherwise the font spacing will be wrong
in the .ps file.
@subsection{Picts & PostScript} @subsection{Picts & PostScript}
This section documents two classes of operations, one for direct use This section documents two classes of operations, one for
of creating postscript figures for use in papers: direct use of creating postscript figures for use in papers
and for use in DrScheme to easily adjust the typesetting:
@scheme[render-language], @scheme[render-language],
@scheme[render-reduction-relation], and @scheme[render-reduction-relation], and
@scheme[render-metafunction], and one @scheme[render-metafunction], and one
for use in combination with other libraries that operate on picts for use in combination with other libraries that operate on picts
(like @other-manual['(lib "scribblings/slideshow/slideshow.scrbl")]):
@scheme[language->pict], @scheme[language->pict],
@scheme[reduction-relation->pict], and @scheme[reduction-relation->pict], and
@scheme[metafunction->pict]. @scheme[metafunction->pict].
@ -1173,7 +1152,7 @@ sets @scheme[dc-for-text-size] and the latter does not.
@defthing[render-language (case-> (-> compiled-lang? @defthing[render-language (case-> (-> compiled-lang?
pict?) pict?)
(-> compiled-lang? (-> compiled-lang?
(or/c string? pict?) (or/c string? path?)
void?))]{ void?))]{
This function renders a language. If it receives just a This function renders a language. If it receives just a
@ -1199,7 +1178,7 @@ set @scheme[dc-for-text-size].
pict?) pict?)
(-> reduction-relation? (-> reduction-relation?
(or/c string? path?) (or/c string? path?)
pict?))]{ void?))]{
If provided with one argument, @scheme[render-reduction-relation] If provided with one argument, @scheme[render-reduction-relation]
produces a pict that renders properly in the definitions produces a pict that renders properly in the definitions