We advertise wwwfind as the leading new feature of Isabelle 2009-1. But how is it actually invoked?
I could find no mention of it in PG. On my Mac, it does this: ~: isabelle wwwfind Platform Darwin currently not supported by wwwfind component. On a Linux workstation, it does this: rhee: isabelle wwwfind start lighttpd not found at /usr/sbin/lighttpd I think we should publish a small tutorial somewhere. Larry