For those who want a local copy, below might help: $ wget -r -p --tries=3 -nc --no-parent http://infolab.stanford.edu/~ullman/focs.html http://infolab.stanford

For those who want a local copy, below might help: $ wget -r -p --tries=3 -nc --no-parent http://infolab.stanford.edu/~ullman/focs.html http://infolab.stanford.edu/~ullman/focs.html Fetches the focs.html file (and all other under ~ullman too!). My wget-fu isn't that great. :)