src/Tools/WWW_Find/doc/README

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/WWW_Find/doc/README	Fri Nov 20 18:36:44 2009 +1100
@@ -0,0 +1,28 @@
+Requirements
+------------
+  lighttpd
+  polyml (other ML systems untested)
+
+Quick setup
+-----------
+*  install lighttpd if necessary
+   (and optionally disable automatic startup on default www port)
+
+Quick instructions
+------------------
+* start the server with:
+    isabelle wwwfind start
+  (add -l for logging from ML)
+
+* connect (by default) on port 8000:
+    http://localhost:8000/isabelle/find_theorems
+
+* test with the echo server:
+    http://localhost:8000/isabelle/echo
+
+* check the status with:
+    isabelle wwwfind status
+
+* stop the server with:
+    isabelle wwwfind stop
+