Comment Comment by hoekit For those who want a local copy, below might help:$ wget -r -p --tries=3 -nc --no-parent http://infolab.stanford.edu/~ullman/focs.htmlFetches the focs.html file (and all other under ~ullman too!). My wget-fu isn't that great. :) parent hoekit 4 years ago
$ wget -r -p --tries=3 -nc --no-parent 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. :)