From 918f16c1aa1e3b3d82bda75d225647f94462edfa Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Sun, 5 Apr 2009 17:46:20 +0000 Subject: [PATCH] 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 --- collects/net/scribblings/url.scrbl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/net/scribblings/url.scrbl b/collects/net/scribblings/url.scrbl index 287c374e2c..56f6e2af0c 100644 --- a/collects/net/scribblings/url.scrbl +++ b/collects/net/scribblings/url.scrbl @@ -327,7 +327,7 @@ exception.} A parameter that determines a mapping of proxy servers used for connections. Each mapping is a list of three elements: -@itemize{ +@itemize[ @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.} -} +] Currently, the only proxiable scheme is @scheme["http"]. The default mapping is the empty list (i.e., no proxies).}