diff -r e08c9f755fca -r f6a4da31f2f1 src/Tools/WWW_Find/lighttpd.conf
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/WWW_Find/lighttpd.conf	Fri Nov 20 18:36:44 2009 +1100
@@ -0,0 +1,20 @@
+server.port = 8000
+
+# debug.log-request-header = "enable"
+# debug.log-file-not-found = "enable"
+# debug.log-request-handling = "enable"
+# debug.log-response-header = "enable"
+
+mimetype.assign = (
+  ".html"   => "text/html; charset=UTF-8",
+  ".css"    => "text/css; charset=UTF-8",
+)
+
+server.modules = ( "mod_scgi" )
+
+scgi.server = ("/isabelle" => ((
+		      "host" => "127.0.0.1",
+		      "port" => 64000,
+		      "check-local" => "disable"
+		)))
+