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