IMPORTANT: This page has now moved to
http://www.compsoc.man.ac.uk/~xav/
please update your links accordingly.
If you reached this page via a link on another site, please inform the administrator of that other site
so that they can update the link.
You should be redirected to the new address automatically within 30 seconds. If you are not, please click the link above. Don't forget to save the new address into your bookmarks, and remove the old entry.
For more details about the reason behind this change, and the effects on the other pages on this site, please refer to the "What's New" page after you have been redirected (it's the top left icon - looks like a W)
Thank you for bearing with me during this time