| Sat, 05 Jan 2002 01:17:14 +0100 | wenzelm | \hfootref: use \url markup; | file | diff | annotate |
| Thu, 20 Dec 2001 15:20:07 +0100 | paulson | new hfootref macro for Web links | file | diff | annotate |
| Wed, 19 Dec 2001 11:07:38 +0100 | paulson | hyperlinks in DVI mode | file | diff | annotate |