changeset 43073 | a4c985fe015d |
parent 33817 | f6a4da31f2f1 |
child 43075 | 6fde0c323c15 |
43072:8aeb7ec8003a | 43073:a4c985fe015d |
---|---|
8 use "xhtml.ML"; |
8 use "xhtml.ML"; |
9 use "socket_util.ML"; |
9 use "socket_util.ML"; |
10 use "scgi_req.ML"; |
10 use "scgi_req.ML"; |
11 use "scgi_server.ML"; |
11 use "scgi_server.ML"; |
12 use "echo.ML"; |
12 use "echo.ML"; |
13 use "html_templates.ML"; |
|
13 use "find_theorems.ML") |
14 use "find_theorems.ML") |
14 else () |
15 else () |