Lines Matching refs:url
1876 % arg as text to display instead of (rather than in addition to) the url
1877 % itself. First (mandatory) arg is the url. Perhaps eventually put in
1893 \unhbox0\ (\code{#1})% DVI: 2nd arg given, show both it and url
1896 \code{#1}% only url given, so show it
1902 % @url synonym for @uref, since that's how everyone uses it.
1904 \let\url=\uref
3303 \definedummyword{url}%
