David Many thanks for reporting this:
I've installed Ubuntu 18.04 on an old laptop and tried to run getpoplog.sh, but there seem to be some problems. It looks as if the URLs in the script don't match the structure of the directories on the web server - e.g. https://www.cs.bham.ac.uk/research/projects/poplog/V16/DL doesn't seem to exist.
Very sorry -- it turns out that I must have been half asleep when doing some tidying up, and saving. I used 'mv' instead of 'cp' for the contents of DL. It should all be working now. Copying to pop-forum in case anyone else has had a problem. I guess that's one mistake I won't repeat. Aaron
