Changed @itemize{...} to @itemize[...] (done after comparing the doc

tree and verifying that there are no changes).
(Also fixed a few bugs that were in the code)

svn: r14427

original commit: c0a8a0122200209e38dff1959d79b58f847814db
This commit is contained in:
Eli Barzilay 2009-04-05 17:46:20 +00:00
parent ceda8bdae8
commit 32abb27e21

View File

@ -243,7 +243,7 @@ selects an identifier, all terms in the same equivalence class as the
selected term are highlighted in yellow.
The available secondary partitionings are:
@itemize{
@itemize[
@item{@scheme[bound-identifier=?]}
@item{@scheme[module-identifier=?]}
@item{@scheme[module-or-top-identifier=?]}
@ -263,14 +263,14 @@ The available secondary partitionings are:
The bindings of the two identifiers were imported into the current
context by requiring the same module.
}
}
]
@subsection{Properties}
When the properties pane is shown, it displays properties of the
selected syntax object. The properties pane has two tabbed pages:
@itemize{
@itemize[
@item{@bold{Term}:
If the selection is an identifier, shows the binding information
@ -282,7 +282,7 @@ selected syntax object. The properties pane has two tabbed pages:
Displays source location information and other properties (see
@scheme[syntax-property]) carried by the syntax object.
}
}
]
@subsection{Interpreting syntax}