|
33817
|
1 |
Requirements
|
|
|
2 |
------------
|
|
|
3 |
lighttpd
|
|
|
4 |
polyml (other ML systems untested)
|
|
|
5 |
|
|
|
6 |
Quick setup
|
|
|
7 |
-----------
|
|
|
8 |
* install lighttpd if necessary
|
|
|
9 |
(and optionally disable automatic startup on default www port)
|
|
|
10 |
|
|
|
11 |
Quick instructions
|
|
|
12 |
------------------
|
|
|
13 |
* start the server with:
|
|
|
14 |
isabelle wwwfind start
|
|
|
15 |
(add -l for logging from ML)
|
|
|
16 |
|
|
|
17 |
* connect (by default) on port 8000:
|
|
|
18 |
http://localhost:8000/isabelle/find_theorems
|
|
|
19 |
|
|
|
20 |
* test with the echo server:
|
|
|
21 |
http://localhost:8000/isabelle/echo
|
|
|
22 |
|
|
|
23 |
* check the status with:
|
|
|
24 |
isabelle wwwfind status
|
|
|
25 |
|
|
|
26 |
* stop the server with:
|
|
|
27 |
isabelle wwwfind stop
|
|
|
28 |
|