equal
deleted
inserted
replaced
|
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 |