suzanne.soy/hyper-literate
1
0
Fork 0
Code Issues 4 Pull Requests 1 Actions Packages Projects Releases Wiki Activity

correct docs for code:comment

Browse Source 
svn: r9805

original commit: 4bf40a2556d12211c87d635c05695d48686b5a22
This commit is contained in:
Matthew Flatt 2008-05-11 13:19:22 +00:00
parent 0ec952fca2
commit 09ac8560b1
1 changed files with 16 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
collects/scribblings/scribble/manual.scrbl
View File

@ -81,15 +81,21 @@ A few other escapes are recognized symbolically:
@itemize{ @itemize{
@item{@scheme[(#,(scheme code:line) datum ...)] typesets as the @item{@scheme[(#,(scheme code:line) _datum ...)] typesets as the
sequence of @scheme[datum]s (i.e., without the sequence of @scheme[_datum]s (i.e., without the
@scheme[code:line] wrapper.} @scheme[code:line] wrapper).}
@item{@scheme[(#,(scheme code:comment) content-expr)] typesets as a @item{@scheme[(#,(scheme code:comment) _datum)] typesets like
comment whose content (i.e., sequence of elements) is produced @scheme[_datum], but colored as a comment and prefixed with a
by @scheme[content-expr].} semi-colon. A typical @scheme[_datum] escapes from
Scheme-typesetting mode using @scheme[unsyntax] and
produces a paragraph using @scheme[t]:
@item{@schemeidfont{code:blank} typesets as a blank line.} @verbatim[#:indent 2]|{
(code:comment #, @t{this is a comment})
}|}
@item{@schemeidfont{code:blank} typesets as a blank space.}
} }
@ -966,6 +972,9 @@ Returns @scheme[#t] if @scheme[v] is a bibliography entry created by
@; ------------------------------------------------------------------------ @; ------------------------------------------------------------------------
@section{Miscellaneous} @section{Miscellaneous}
@defproc[(t [pre-content any/c] ...) paragraph?]{Wraps the
@tech{decode}d @scheme[pre-content] as a paragraph.}
@defthing[PLaneT string?]{@scheme["PLaneT"] (to help make sure you get @defthing[PLaneT string?]{@scheme["PLaneT"] (to help make sure you get
the letters in the right case).} the letters in the right case).}