doc-src/url.sty
1999-05-10 wenzelm fixed URLs;
less more (0) tip