Update:

http://www-formal.stanford.edu/jmc is back...finally!