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
isarmathlib
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:
<https://savannah.nongnu.org/support/?109864>
_______________________________________________
Message sent via Savannah
https://savannah.nongnu.org/
