author | wenzelm |
Fri, 23 Sep 2011 17:23:54 +0200 | |
changeset 45066 | 11f622794ad6 |
parent 45026 | 5c0b0d67f9b1 |
child 48495 | bf5b45870110 |
permissions | -rw-r--r-- |
43948 | 1 |
if ML_System.is_polyml then |
2 |
(use "unicode_symbols.ML"; |
|
33817 | 3 |
use "html_unicode.ML"; |
4 |
use "mime.ML"; |
|
5 |
use "http_status.ML"; |
|
6 |
use "http_util.ML"; |
|
7 |
use "xhtml.ML"; |
|
45066
11f622794ad6
discontinued stream-based Socket_IO, which causes too many problems with Poly/ML and SML/NJ (reverting major parts of 5c0b0d67f9b1);
wenzelm
parents:
45026
diff
changeset
|
8 |
use "socket_util.ML"; |
33817 | 9 |
use "scgi_req.ML"; |
10 |
use "scgi_server.ML"; |
|
11 |
use "echo.ML"; |
|
43073
a4c985fe015d
moved html templates to a separate module, making their awkward signatures explicit
krauss
parents:
33817
diff
changeset
|
12 |
use "html_templates.ML"; |
43075
6fde0c323c15
added experimental yxml_find_theorems web service (but no client yet)
krauss
parents:
43073
diff
changeset
|
13 |
use "find_theorems.ML"; |
6fde0c323c15
added experimental yxml_find_theorems web service (but no client yet)
krauss
parents:
43073
diff
changeset
|
14 |
use "yxml_find_theorems.ML") |
43948 | 15 |
else (); |