How to use WebDAV on a Windows server?
I do not know if there is a how-to for WEBDAV in the English user manual. There is one in the German manual though: Schnittstellen | Seafile
Just visit the site with Chrome and have Chrome translate it for you. This should give you an idea.