[isabelle-dev] wwwfind

[Timothy Bourke]

On Jan 19 at 10:33 +0000, Lawrence Paulson wrote:
> 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.

Sorry about that. I believe the solution requires figuring out the
command-line arguments for some calls within the control script.

> On a Linux workstation, it does this:
> 
> rhee: isabelle wwwfind start
> lighttpd not found at /usr/sbin/lighttpd

There are some (admittedly terse) comments in the file:
    src/Tools/WWW_Find/doc/README

and a description of the design in:
    src/Tools/WWW_Find/doc/design.tex

The lighttpd service can be installed on debian and ubuntu with:
    sudo apt-get install lighttpd

It can then be disabled on port 80 with
    sudo update-rc.d -f lighttpd remove
    update-rc.d lighttpd stop 80 0 1 2 3 4 5 6 .
 
> I think we should publish a small tutorial somewhere.

Would it suffice to add some more detail to the README file? Or would
a paragraph or two in the main documentation be better?

Tim.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 197 bytes
Desc: Digital signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20100119/7188d3bd/attachment.sig>