<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><blockquote type="cite"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin-top: 0pt; margin-right: 0pt; margin-bottom: 0pt; margin-left: 0.8ex; border-left-width: 1px; border-left-style: solid; border-left-color: rgb(204, 204, 204); padding-left: 1ex; position: static; z-index: auto; ">It might be good to post<br> instructions for setting up a WebDAV server for people who want to<br> play without relying on a central resource.<br></blockquote><div><br>Here are old instructions I put together and used - however last summer.<br><a href="http://lists.hpi.uni-potsdam.de/archive/lively-kernel/2010-April/000386.html" target="_blank">http://lists.hpi.uni-potsdam.de/archive/lively-kernel/2010-April/000386.html</a><br></div></div></blockquote><br></div><div>Please see also <a href="http://lively-kernel.org/other/livelyInstallMac.mov">http://lively-kernel.org/other/livelyInstallMac.mov</a></div><div><br></div><div>Best,</div><div>Robert</div></body></html>