[Coin-discuss] server down?

[J P Fasano]

It seems to be up for me.

$ svn co http://www.coin-or.org/svn/Osi/stable/0.95 coin-Osi
A    coin-Osi/configure
A    coin-Osi/Makefile.in
A    coin-Osi/LICENSE
A    coin-Osi/depcomp
A    coin-Osi/config.guess
A    coin-Osi/Osi
A    coin-Osi/Osi/osi_addlibs.txt.in
A    coin-Osi/Osi/test
A    coin-Osi/Osi/test/OsiRowCutTest.cpp
A    coin-Osi/Osi/test/OsiDylpSolverInterfaceTest.cpp
A    coin-Osi/Osi/test/OsiSymSolverInterfaceTest.cpp
A    coin-Osi/Osi/test/OsiXprSolverInterfaceTest.cpp

......