Alternate sites of COINS
You can access the web site
http://coins-project.is.titech.ac.jp/international/
that contains the same contents as this site.
You can also access the web site
http://sourceforge.jp/projects/coins-compiler/
that has a little different appearance but has the same contents as this site .