kleing@33817: if String.isPrefix "polyml" ml_system
kleing@33817: then 
kleing@33817:   (use "unicode_symbols.ML";
kleing@33817:   use "html_unicode.ML";
kleing@33817:   use "mime.ML";
kleing@33817:   use "http_status.ML";
kleing@33817:   use "http_util.ML";
kleing@33817:   use "xhtml.ML";
kleing@33817:   use "socket_util.ML";
kleing@33817:   use "scgi_req.ML";
kleing@33817:   use "scgi_server.ML";
kleing@33817:   use "echo.ML";
kleing@33817:   use "find_theorems.ML")
kleing@33817: else ()