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: c0a8a01222
This commit is contained in:
Eli Barzilay 2009-04-05 17:46:20 +00:00
parent 0500950bc1
commit 918f16c1aa

View File

@ -327,7 +327,7 @@ exception.}
A parameter that determines a mapping of proxy servers used for A parameter that determines a mapping of proxy servers used for
connections. Each mapping is a list of three elements: connections. Each mapping is a list of three elements:
@itemize{ @itemize[
@item{the URL scheme, such as @scheme["http"];} @item{the URL scheme, such as @scheme["http"];}
@ -335,7 +335,7 @@ connections. Each mapping is a list of three elements:
@item{the proxy server port number.} @item{the proxy server port number.}
} ]
Currently, the only proxiable scheme is @scheme["http"]. The default Currently, the only proxiable scheme is @scheme["http"]. The default
mapping is the empty list (i.e., no proxies).} mapping is the empty list (i.e., no proxies).}