Since a few weeks http://www-formal.stanford.edu/jmc is down. This is super annoying, because tons of links pointing to this site and didn't work anymore. Why would Stanford want to
destroy all that knowledge?You can visit a capture of JMCs site here:
http://web.archive.org/web/20131011125002/http://www-formal.stanford.edu/jmc/