Hi Paul, svn.openmath.org is down, at least this has been the case since today. Is that probably related to klein.activemath.org? (Well, maybe not, as the latter has been down for a few more days.)
Cheers, and thanks for any help, Christoph -- Christoph Lange, Jacobs Univ. Bremen, http://kwarc.info/clange, Skype duke4701
signature.asc
Description: This is a digitally signed message part.
_______________________________________________ Om mailing list Om@openmath.org http://openmath.org/mailman/listinfo/om
