Update of sr #109864 (project administration):

                  Status:                    None => In Progress            
             Assigned to:                    None => ineiev                 


Follow-up Comment #1:

This works for me:

$ cvs -z3 -d:ext:ine...@cvs.savannah.nongnu.org:/web/isarmathlib co
cvs checkout: Updating isarmathlib
U isarmathlib/index.html
U isarmathlib/isabelle.css
cvs checkout: Updating isarmathlib/IsarMathLib
U isarmathlib/IsarMathLib/AbelianGroup_ZF.html

Note that there is no connection timeout.  Any chances that that was a
temporary failure?


Reply to this item at:


  Message sent via Savannah

Reply via email to