[isabelle-dev] wwwfind

Lawrence Paulson lp15 at cam.ac.uk
Tue Jan 19 11:33:09 CET 2010

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.


More information about the isabelle-dev mailing list