This site has moved to http://www.logicmatters.net: click on "LaTeX" link on the front page