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/