Lars Gullik Bjønnes Thu, 31 Aug 2000 08:30:08 -0700
The LyX servers are changing ip addresses and the might we some interuptions of services because of that. Hopefully this will be quickly done. I expect everything to be working ok quite soon. Lgb