[isabelle-dev] wwwfind

[Lawrence Paulson]

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