Sat, 05 Jan 2002 01:18:54 +0100 | wenzelm | \newcommand{\isasymignore}{}, so we may use \<ignore> to disambiguate | changeset | files |
Sat, 05 Jan 2002 01:17:48 +0100 | wenzelm | tuned; | changeset | files |
Sat, 05 Jan 2002 01:17:14 +0100 | wenzelm | \hfootref: use \url markup; | changeset | files |